matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs/procedural/Makefile.common

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs/procedural/Makefile.common

2009-06-09	Ferruccio Guidi	- Procedural: more support for the Debug inline option...	blob \| commitdiff \| raw
2009-04-27	Ferruccio Guidi	matitacLib: bugfix in .moo generation	blob \| commitdiff \| raw \| diff to current
2009-04-21	Ferruccio Guidi	- MatitaMisc: we factorized here the function out_pream...	blob \| commitdiff \| raw \| diff to current
2009-04-16	Ferruccio Guidi	Procedural: we corrected two errors about the handling...	blob \| commitdiff \| raw \| diff to current
2009-04-15	Ferruccio Guidi	- transcript: bugfix	blob \| commitdiff \| raw \| diff to current
2008-09-05	Ferruccio Guidi	transcript: we now check for non-existing objects	blob \| commitdiff \| raw \| diff to current
2008-09-04	Ferruccio Guidi	transcript: improved debuugging facilities	blob \| commitdiff \| raw \| diff to current
2008-09-04	Ferruccio Guidi	transcript: we improved the parser/lexer to read the...	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.