]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/matitaEngine.ml
...
[helm.git] / helm / software / matita / matitaEngine.ml
2009-09-23 Enrico Tassinew macro screenshot
2009-06-19 Claudio Sacerdoti... Estatus finally merged into the global status using...
2009-06-19 Claudio Sacerdoti... Useless GrafiteTypes.get_baseuri removed.
2009-06-18 Claudio Sacerdoti... Stricter type: the type now shows that disambiguation...
2009-06-18 Claudio Sacerdoti... 1) grafiteWalker removed
2009-06-15 Enrico Tassihuge commit regarding the grafite_status:
2009-05-13 Ferruccio Guidi- matitaEngine: some commands like "coercion" must...
2009-04-27 Ferruccio GuidimatitacLib: bugfix in .moo generation
2009-04-26 Claudio Sacerdoti... The backward compatible management of aliases for NG...
2009-04-25 Ferruccio Guidi- matitacLib: lexicon status and grafite status where...
2009-04-20 Claudio Sacerdoti... Bug fixed: variable capture in previous commit prevente...
2009-04-02 Enrico Tassi...
2009-03-26 Enrico Tassinew apply almost there
2008-12-03 Claudio Sacerdoti... The aliases and multi_aliases in the lexicon status...
2008-11-15 Enrico Tassinatural deduction palette
2008-06-13 Enrico Tassiwhen -debug do not catch
2008-03-19 Claudio Sacerdoti... -debug improved
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2007-04-06 Enrico Tassieval_from_stream is now tail recursive!
2007-02-06 Ferruccio Guidi- Procedural: moved in a directory on its own
2007-01-20 Claudio Sacerdoti... 1. buf fixed in eval_from_stream when first_statemente_...
2006-09-04 Claudio Sacerdoti... matitac now fails if it tries to insert a new alias
2006-05-09 Enrico Tassitypes2006 patch
2006-04-13 Enrico Tassito tired to write a message.
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/