]> matita.cs.unibo.it Git - helm.git/history - helm/matita/matitaTypes.mli
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / matita / matitaTypes.mli
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/ commit | commitdiff
2005-12-02 Claudio Sacerdoti... 1. matitaEngine splitted into disambiguation (now in... commit | commitdiff
2005-11-30 Claudio Sacerdoti... nicer (but convertible) types commit | commitdiff
2005-11-30 Claudio Sacerdoti... * Undo fixed. commit | commitdiff
2005-11-29 Claudio Sacerdoti... * Part of matita that used to deal with the library... commit | commitdiff
2005-11-24 Stefano ZacchiroliReshaped structure of ocaml/ libraries, matita changed... commit | commitdiff
2005-11-18 Enrico Tassifixed coercions undo commit | commitdiff
2005-11-03 Stefano Zacchirolibetter dependencies among modules and symlinking of... commit | commitdiff
2005-10-25 Stefano Zacchirolinew tacticals commit | commitdiff
2005-10-05 Stefano Zacchirolicompleted support for "-nodb", now also matitaclean... commit | commitdiff
2005-09-15 Claudio Sacerdoti... Yet another implementation of the single aliases /... commit | commitdiff
2005-09-13 Stefano Zacchiroli- changed moo representation in MatitaTypes.status... commit | commitdiff
2005-09-08 Stefano Zacchiroliadded set_metasenv on proof_status commit | commitdiff
2005-07-18 Stefano Zacchirolimerged cic_notation with matita: good luck! commit | commitdiff
2005-07-05 Claudio Sacerdoti... * new interface matitaTypes.mli commit | commitdiff
2005-04-27 Stefano Zacchiroliremoved all old matita files (kept in attic) commit | commitdiff
2005-03-09 Stefano Zacchirolisupport for terms with metas in check commit | commitdiff
2005-02-14 Enrico Tassiadded choose_uri method to console, used by the interpr... commit | commitdiff
2005-02-09 Stefano Zacchiroliadded script support a la coqide commit | commitdiff
2005-02-04 Stefano Zacchirolisnapshot, notably: commit | commitdiff
2005-02-01 Stefano Zacchirolisnapshot, notably: commit | commitdiff
2005-01-20 Stefano Zacchirolisnapshot, notably: commit | commitdiff
2005-01-18 Stefano Zacchirolisnapshot, notably: commit | commitdiff
Unnamed repository; edit this file 'description' to name the repository.