Commits

Show all
Author Commit Message Labels Comments Date
Dmitry Grebeniuk
doc/bugs
Dmitry Grebeniuk
doc/bugs
Dmitry Grebeniuk
typo
Dmitry Grebeniuk
DEBUG is now in global definitions; DEBUG definition changed from eq/eq_refl to True/I for simplicity
Dmitry Grebeniuk
doc: forgot about delta-reduction for 'waits.' desc
Dmitry Grebeniuk
Bp_examples: old comments fixed
Dmitry Grebeniuk
init