]> matita.cs.unibo.it Git - helm.git/history - helm/matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fixed missing -syntax when using ocamlopt
[helm.git] / helm / matita /
2005-05-24 Enrico Tassiadded simpl test script tree | commitdiff
2005-05-24 Enrico Tassiadded simpl tree | commitdiff
2005-05-24 Andrea Aspertifix tree | commitdiff
2005-05-24 Andrea Aspertielim -> elim_intros (no simpl) tree | commitdiff
2005-05-23 Enrico Tassiadded qed tree | commitdiff
2005-05-23 Andrea AspertiAdded andrea.ma tree | commitdiff
2005-05-18 Enrico Tassifixed some macros, added test_abort.ma tree | commitdiff
2005-05-17 Enrico Tassifixed whelp bar tree | commitdiff
2005-05-16 Enrico Tassiadded images tree | commitdiff
2005-05-16 Enrico Tassiadded examples tree | commitdiff
2005-05-16 Enrico Tassiadded comments, fixed history, added loadList to browser tree | commitdiff
2005-05-10 Stefano Zacchiroliadded 'tags' target (which index both matita/ and ocaml... tree | commitdiff
2005-05-05 Andrea Aspertitest_instance.ma tree | commitdiff
2005-05-03 Enrico Tassisync with SqlStatements tree | commitdiff
2005-05-03 Enrico Tassiadded examples tree | commitdiff
2005-05-03 Enrico Tassiadded instance tree | commitdiff
2005-05-02 Enrico Tassiattached auto tree | commitdiff
2005-05-02 Enrico Tassiadded Match (partially) and sync with the count table tree | commitdiff
2005-04-29 Enrico Tassiadded dump/restore environment to the debug menu tree | commitdiff
2005-04-28 Enrico Tassiattached macros: hint(partial), check tree | commitdiff
2005-04-27 Stefano Zacchirolichecked in new version of matita from svn tree | commitdiff
2005-04-27 Stefano Zacchiroliremoved all matita files tree | commitdiff
2005-04-27 Stefano Zacchiroliremoved all old matita files (kept in attic) tree | commitdiff
2005-03-09 Stefano Zacchirolisupport for terms with metas in check tree | commitdiff
2005-02-14 Enrico Tassiadded choose_uri method to console, used by the interpr... tree | commitdiff
2005-02-10 Stefano Zacchirolimoved a debug print so that it is executed for each... tree | commitdiff
2005-02-10 Stefano Zacchirolibugfix: method 'advance' now took in input concrete... tree | commitdiff
2005-02-10 Stefano Zacchirolichanged toolbar window type tree | commitdiff
2005-02-10 Stefano Zacchirolibugfix: avoid executing tactic for the script twice tree | commitdiff
2005-02-09 Stefano Zacchiroliadded script support a la coqide tree | commitdiff
2005-02-09 Stefano Zacchiroli- fixed "error loading dom error" avoiding sequent_view... tree | commitdiff
2005-02-09 Stefano Zacchirolimoved lockScript to MatitaScript module tree | commitdiff
2005-02-07 Stefano Zacchiroliadded TODO file tree | commitdiff
2005-02-07 Stefano Zacchiroliadded support for directory browsing in cicBrowser tree | commitdiff
2005-02-07 Stefano Zacchirolirebuilt tree | commitdiff
2005-02-07 Stefano Zacchiroliconnected change tactic (proof of concept) tree | commitdiff
2005-02-04 Enrico Tassisaves to gzip tree | commitdiff
2005-02-04 Enrico Tassifix tree | commitdiff
2005-02-04 Stefano Zacchirolisnapshot, notably: tree | commitdiff
2005-02-03 Enrico Tassifixed currentproof tree | commitdiff
2005-02-03 Enrico Tassibetter owner hadling tree | commitdiff
2005-02-03 Stefano Zacchirolirebuilt tree | commitdiff
2005-02-03 Stefano Zacchirolisnapshot, notably: tree | commitdiff
2005-02-01 Stefano Zacchiroliadded (linked to matita) executable cicbrowser: when... tree | commitdiff
2005-02-01 Stefano Zacchirolisnapshot, notably: tree | commitdiff
2005-02-01 Enrico Tassi*** empty log message *** tree | commitdiff
2005-02-01 Enrico Tassifixed coercions tree | commitdiff
2005-01-31 Enrico Tassiadded save_object_to_disk and basedir tree | commitdiff
2005-01-25 Enrico Tassi- added code for Coercion command, Print Env command. tree | commitdiff
2005-01-24 Stefano Zacchiroli- avoid redefinition of the same uri (checked in add_... tree | commitdiff
2005-01-21 Enrico Tassi- sync with the new ApplyTransformation API tree | commitdiff
2005-01-21 Stefano Zacchirolisnapshot, notably: tree | commitdiff
2005-01-20 Stefano Zacchirolisnapshot, notably: tree | commitdiff
2005-01-18 Stefano Zacchirolisnapshot, notably: tree | commitdiff
2005-01-12 Enrico Tassifixed clean_and_fill tree | commitdiff
2005-01-11 Stefano Zacchirolisnapshot, notably: tree | commitdiff
2004-12-03 Stefano Zacchirolisnapshot tree | commitdiff
2004-12-02 Enrico Tassisync with universes and ~subst (and not ?(subst=[])) tree | commitdiff
2004-11-15 Stefano Zacchirolisnapshot tree | commitdiff
2004-11-11 Stefano Zacchirolisnapshot: tree | commitdiff
2004-11-09 Stefano Zacchirolisnapshot, notably: tree | commitdiff
2004-11-05 Stefano Zacchirolifilled toolbar and implemented buttons behaviours tree | commitdiff
2004-11-03 Stefano Zacchirolisnapshot (notably: ported to mysql instead of dbi) tree | commitdiff
2004-10-27 Stefano Zacchirolisnapshot, notably: tree | commitdiff
2004-10-13 Stefano Zacchirolisnapshot tree | commitdiff
2004-10-13 Stefano Zacchirolisnapshot, notably history no longer remember annotation... tree | commitdiff
2004-10-06 Stefano Zacchirolisnapshot (notably: implemented "check") tree | commitdiff
2004-10-04 Stefano Zacchirolisnapshot tree | commitdiff
2004-10-01 Stefano Zacchirolisnapshot tree | commitdiff
2004-10-01 Stefano Zacchirolisnapshot tree | commitdiff
2004-05-04 Stefano Zacchirolisnapshot (notably: first working version of the console) tree | commitdiff
2004-04-30 Stefano Zacchirolisnapshot tree | commitdiff
2004-04-29 Stefano Zacchirolisnapshot tree | commitdiff
2004-04-28 Stefano Zacchirolisnapshot tree | commitdiff
2004-04-23 Stefano Zacchirolisnapshot tree | commitdiff
2004-04-22 Stefano Zacchirolisnapshot tree | commitdiff
2004-04-22 Stefano Zacchirolisnapshot tree | commitdiff
2004-04-20 Stefano Zacchiroliadded ocamlfind library checks to configure.ac tree | commitdiff
2004-04-20 Stefano Zacchirolirenamed mathita to matita tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.