]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/matitacLib.ml
more push/pop to avoid confusion with imperative data structures employed by
[helm.git] / helm / software / matita / matitacLib.ml
2008-09-26 Enrico Tassimore push/pop to avoid confusion with imperative data...
2008-08-23 Ferruccio GuidiProcedural: bug fix in comment generation
2008-08-21 Ferruccio Guidibasic support for imposed flavour in procedural object...
2008-07-21 Ferruccio Guidiwe implemented the support for generating ma files...
2008-06-18 Enrico Tassiremoved unused variable
2008-06-13 Enrico Tassiwhen -debug do not catch
2008-03-19 Claudio Sacerdoti... -debug improved
2008-03-12 Enrico Tassiif -debug is specified do not catch all exceptions
2008-03-05 Enrico Tassifrom now on, export MATITA_EXTRACT=true to extract
2008-03-04 Ferruccio Guidicomponents/library: dotdothack removed
2008-02-12 Enrico Tassiallow to use "../foo/bar.ma" as a path for the include...
2008-01-21 Claudio Sacerdoti... Hack for code extraction re-linked, but disactivated.
2008-01-14 Enrico Tassiuser time is now printed correctly
2008-01-11 Enrico TassiMake does not even try to build files that would be...
2008-01-11 Enrico Tassianother fix to make it more resistant
2008-01-11 Enrico Tassiugly hack to make matitac not exit when called on a...
2008-01-11 Enrico Tassiadded a warning if the baseuri we want to clean is...
2008-01-11 Enrico Tassiremoved useless assertion
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2007-11-28 Claudio Sacerdoti... Dead code removed.
2007-11-08 Enrico Tassiforced associativity in if construct
2007-11-07 Enrico TassiCode extraction unbranched again.
2007-11-05 Claudio Sacerdoti... Filenames are now fully mangled (e.g. matita_nat_nat...
2007-11-04 Claudio Sacerdoti... Bug fixed: qualified names were not generated correctly...
2007-11-04 Claudio Sacerdoti... CicExportation branched. Change "if false" with "if...
2007-07-25 Ferruccio Guidimatitac: We do not generate the .moo and .lexicon of...
2007-07-19 Claudio Sacerdoti... map_unicode_to_tex is no longer optional and it always...
2007-07-06 Enrico Tassimaxipatch for support of multiple DBs.
2007-02-09 Ferruccio Guidiadded option -dump to matitac for persistent macro...
2007-02-06 Ferruccio Guidi- Procedural: moved in a directory on its own
2007-01-20 Claudio Sacerdoti... An "assert false" used to be raised when matitac was...
2006-12-12 Ferruccio Guidiwe parametrized CicNotationPt.obj on 'term
2006-10-09 Claudio Sacerdoti... More work to handle -debug properly.
2006-07-05 Enrico Tassibugfix to developments:
2006-03-24 Claudio Sacerdoti... Colors are back! :-)
2006-03-17 Enrico Tassitests are now handled with a standard Makefile that...
2006-03-16 Enrico Tassione more step toward release and bench reorganization
2006-03-15 Enrico Tassimore work for the release
2006-03-15 Enrico Tassisnapshot for release
2006-03-13 Enrico TassiHuge commit for the release. Includes:
2006-02-06 Stefano Zacchiroliuse matita.verbosity instead of matita.quiet
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/