]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/matitaScript.ml
Procedural: we removed some commented code
[helm.git] / helm / software / matita / matitaScript.ml
2008-09-26 Enrico Tassiinclude statement better implemented:
2008-09-26 Enrico Tassilazy proof term to increase sharing and decrease memory...
2008-08-21 Ferruccio Guidibasic support for imposed flavour in procedural object...
2008-07-16 Ferruccio GuidiProcedural: some comments added in the generated script
2008-06-17 Enrico Tassireordering of lexicon status partially avoided to make...
2008-05-30 Enrico TassiCProp hierarchy is there!
2008-03-20 Enrico Tassichanged auto_tac params type and all derivate tactics...
2008-03-11 Claudio Sacerdoti... Very experimental commit: the type of the source is...
2008-02-12 Enrico Tassibetter error message in case inclusion failed
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2007-12-04 Enrico Tassido_heavy_checks not always true, take ths option from...
2007-07-31 Enrico Tassidefault equality stuff filtered out from hint rewrite
2007-07-30 Enrico Tassiadded 'rewrite' option to the the hint macro. a cicBrow...
2007-07-19 Claudio Sacerdoti... map_unicode_to_tex is no longer optional and it always...
2007-07-19 Claudio Sacerdoti... paste_unicode_as_tex is now false by default; moreover...
2007-07-06 Enrico Tassimaxipatch for support of multiple DBs.
2007-06-13 Enrico Tassimany changes:
2007-06-04 Enrico Tassiauto proof are printed in procedural style
2007-06-01 Enrico Tassihacks for paramodulation declarative proofs
2007-05-29 Enrico Tassiadded pruning option in autogui
2007-05-24 Enrico Tassiauto and autogui... some work
2007-05-17 Enrico Tassiadded a (for the moment) dummy field _subst to Proofeng...
2007-04-20 Claudio Sacerdoti... Much ado about nothing:
2007-02-06 Ferruccio Guidi- Procedural: moved in a directory on its own
2007-01-31 Ferruccio Guidimethods eos, goto, advance and retract now catch Invali...
2007-01-10 Ferruccio Guidiattributes now in the proof status: commit 1
2006-12-18 Ferruccio GuidiProcedural: some improvements
2006-12-12 Ferruccio Guidiwe started the infrastructure for the procedural render...
2006-11-29 Ferruccio Guidi- new library/logic/coimplication.ma uses new decompose...
2006-10-31 Claudio Sacerdoti... The OK button of the disambiguation errors interface...
2006-10-03 Claudio Sacerdoti... Inline command implemented.
2006-09-27 Enrico Tassifixed bug regarding developments. paths given with...
2006-07-24 Enrico Tassimore work on matitaprover (no more XML and buris are...
2006-07-12 Claudio Sacerdoti... GrafiteAst.Quit (unused) removed.
2006-07-12 Claudio Sacerdoti... GrafiteAst.Print (unused) removed.
2006-07-12 Claudio Sacerdoti... GrafiteAst.Search_pat and GrafiteAst.Search_term (both...
2006-07-05 Enrico Tassibugfix to developments:
2006-05-11 Claudio Sacerdoti... Bugs fixed:
2006-05-09 Enrico Tassitypes2006 patch
2006-04-14 Enrico Tassiuft8 string length bug fixed (Ctr-Alt-. did not work...
2006-04-14 Enrico Tassi fixed another utf8 string length bug
2006-04-13 Enrico Tassito tired to write a message.
2006-04-12 Enrico Tassiadded patch to allow agin "match sin ? = ?"
2006-04-12 Enrico Tassisome fixes for whelp macros (concerning pprint...)
2006-03-13 Enrico TassiHuge commit for the release. Includes:
2006-02-22 Claudio Sacerdoti... First part of bug #152 (unable to exit from Matita...
2006-02-15 Enrico Tassiadded support for "polymorphic" coercions
2006-02-06 Claudio Sacerdoti... removed a Pcre capture that being _NON TAIL RECURSIVE_...
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/