]> matita.cs.unibo.it Git - helm.git/history - helm/matita
added utility to dump some tables of the db on mowgli
[helm.git] / helm / matita /
2005-06-16 Claudio Sacerdoti... matita.conf.xml added
2005-06-16 Claudio Sacerdoti... removed again (I added it by error :-(
2005-06-15 Claudio Sacerdoti... * parsing errors in tests were not detected and the...
2005-06-15 Claudio Sacerdoti... The `Record class now records also the name of the...
2005-06-15 Claudio Sacerdoti... a parser error is now logged as an error!
2005-06-15 Ferruccio Guidisupport for the new tactics lapply and fwd
2005-06-15 Claudio Sacerdoti... ...
2005-06-15 Stefano Zacchiroliported to latest registry interface
2005-06-15 Claudio Sacerdoti... Big commit and major code clean-up:
2005-06-15 Claudio Sacerdoti... comments syntax changed
2005-06-15 Claudio Sacerdoti... incomplete proof completed.
2005-06-14 Claudio Sacerdoti... No more %% comments.
2005-06-14 Claudio Sacerdoti... incomplete proof completed
2005-06-14 Claudio Sacerdoti... typo fixed: simmetry ==> symmetry
2005-06-14 Claudio Sacerdoti... incomplete proof terminated
2005-06-14 Claudio Sacerdoti... qed missing
2005-06-14 Claudio Sacerdoti... Bug fixed: when the final proof_status is not No_proof...
2005-06-14 Enrico Tassiadded fullscreen menu item
2005-06-13 Stefano Zacchiroliintegrated lablgtksourceview
2005-06-13 Enrico Tassicosmetic fix
2005-06-13 Enrico Tassirenamed
2005-06-13 Enrico Tassifix
2005-06-13 Enrico TassiF2 hides the tactics buttons bar
2005-06-13 Enrico Tassifix
2005-06-13 Enrico Tassiadded syntax hilight for temperino
2005-06-13 Enrico Tassiremoved prerr_endline
2005-06-13 Enrico Tassifix
2005-06-13 Enrico Tassierror
2005-06-10 Enrico Tassiadded_test
2005-06-10 Enrico Tassiadded records
2005-06-10 Claudio Sacerdoti... Got rid of a few bugs.
2005-06-10 Claudio Sacerdoti... ...
2005-06-09 Claudio Sacerdoti... ...
2005-06-09 Claudio Sacerdoti... test_instance.ma moved to interactive/ (whose tests...
2005-06-09 Claudio Sacerdoti... intro ==> intros
2005-06-09 Claudio Sacerdoti... Error message improved.
2005-06-09 Claudio Sacerdoti... No more explicit types for the branches of the matches...
2005-06-09 Enrico Tassiadded debug item for coercion
2005-06-09 Enrico Tassiadded \n to "file saved" message
2005-06-09 Enrico Tassiadded whd before uri_of_term
2005-06-09 Claudio Sacerdoti... andrea.ma removed (superseded by match.ma)
2005-06-09 Andrea AspertiUpdated to the new syntax for match.
2005-06-09 Stefano Zacchirolisimplified cicBrowser: whelp bar is now always visible
2005-06-08 Stefano Zacchiroli- handles about:* uris in cicBrowser
2005-06-08 Stefano Zacchirolifixed history handling: now both "home" and link reache...
2005-06-08 Stefano Zacchirolirewritten cicBrowser handling of uri text entry, still...
2005-06-08 Claudio Sacerdoti... Let's try to make the "let rec" construct infer its...
2005-06-08 Claudio Sacerdoti... Syntax for top-level "let rec" fixed.
2005-06-08 Claudio Sacerdoti... Using the lighter syntax for "let recs".
2005-06-08 Claudio Sacerdoti... Using the top-level syntax for let-rec definitions.
2005-06-08 Claudio Sacerdoti... The file is now well formed.
2005-06-08 Claudio Sacerdoti... Query results were erroneously tagged as directories.
2005-06-08 Claudio Sacerdoti... 1. syntax of match changed
2005-06-08 Claudio Sacerdoti... The getter maps are now dumped also if matitac exits...
2005-06-08 Claudio Sacerdoti... Added new target "make tests" for regression testing.
2005-06-08 Claudio Sacerdoti... Harder test (with empty inductive types and left and...
2005-06-08 Claudio Sacerdoti... More informative error message.
2005-06-08 Stefano Zacchiroliadded icons to entries shown in cicbrowser so that...
2005-06-07 Enrico Tassiadded test for coercions
2005-06-07 Enrico Tassiadded coercions
2005-06-07 Enrico Tassiremoved coercions from status
2005-06-07 Enrico Tassiadded letin
2005-06-07 Ferruccio Guidicontrol of dependences improved
2005-06-06 Stefano Zacchiroli- set monospace buffer using modify_font widget method
2005-06-01 Enrico Tassifix_escaping
2005-06-01 Enrico Tassireduce with path
2005-06-01 Enrico Tassisome cosmetic fixes
2005-06-01 Enrico Tassifix
2005-05-31 Enrico Tassifixed width fonts
2005-05-31 Enrico Tassinew shortcuts
2005-05-31 Andrea Aspertiadded colors
2005-05-31 Andrea Aspertiadded chronometer
2005-05-31 Andrea Aspertiadded automathic aliases for _ind _rec and _rect when...
2005-05-31 Andrea Aspertifix
2005-05-31 Enrico Tassiadded automathic aliases for qed and definition
2005-05-31 Enrico Tassiadded shortcuts
2005-05-30 Enrico Tassimah...matita.ml
2005-05-30 Andrea Aspertifix
2005-05-30 Andrea Aspertiadded intros n.
2005-05-30 Andrea Aspertiadded automathic aliases.
2005-05-27 Stefano Zacchiroli- commented out no longer needed macros Redo, Undo...
2005-05-27 Stefano Zacchirolifixed otags invocation
2005-05-27 Enrico Tassifixed matitac
2005-05-25 Stefano Zacchirolilet rec example
2005-05-25 Ferruccio Guidisome work for Gares
2005-05-25 Enrico Tassifix
2005-05-25 Enrico Tassifix
2005-05-24 Enrico Tassiadded simpl test script
2005-05-24 Enrico Tassiadded simpl
2005-05-24 Andrea Aspertifix
2005-05-24 Andrea Aspertielim -> elim_intros (no simpl)
2005-05-23 Enrico Tassiadded qed
2005-05-23 Andrea AspertiAdded andrea.ma
2005-05-18 Enrico Tassifixed some macros, added test_abort.ma
2005-05-17 Enrico Tassifixed whelp bar
2005-05-16 Enrico Tassiadded images
2005-05-16 Enrico Tassiadded examples
2005-05-16 Enrico Tassiadded comments, fixed history, added loadList to browser
2005-05-10 Stefano Zacchiroliadded 'tags' target (which index both matita/ and ocaml...
2005-05-05 Andrea Aspertitest_instance.ma
next