]> matita.cs.unibo.it Git - helm.git/history - helm/matita/.depend
Added a new section on the logical library.
[helm.git] / helm / matita / .depend
2005-12-02 Claudio Sacerdoti... 1. matitaEngine splitted into disambiguation (now in...
2005-11-29 Claudio Sacerdoti... * Part of matita that used to deal with the library...
2005-11-24 Stefano ZacchiroliReshaped structure of ocaml/ libraries, matita changed...
2005-11-19 Claudio Sacerdoti... Disambiguation errors are no longer thrown away. They...
2005-11-14 Ferruccio Guidicontribs/PREDICATIVE-TOPOLOGY added as test directory
2005-11-03 Stefano Zacchirolibetter dependencies among modules and symlinking of...
2005-11-02 Stefano Zacchirolirebuilt
2005-10-27 Claudio Sacerdoti... ...
2005-09-26 Stefano Zacchiroli- added integrity checks on .moo files
2005-09-20 Enrico Tassiall initialization code is now in the new matitaInit...
2005-07-28 Stefano Zacchiroliadded support for (textual) cut and paste of mathml...
2005-07-27 Stefano Zacchirolirefactored gui handling code so that MatitaMathView...
2005-07-22 Claudio Sacerdoti... Big changes:
2005-07-19 Enrico Tassimatitac now automatically cleans a non empty baseuri
2005-07-18 Enrico Tassicompilation of needed modules now outputs to the log...
2005-07-18 Stefano Zacchirolimerged cic_notation with matita: good luck!
2005-07-13 Enrico Tassimatitamake stuff:
2005-07-07 Claudio Sacerdoti... ...
2005-07-05 Claudio Sacerdoti... * new interface matitaTypes.mli
2005-07-05 Stefano Zacchiroliported to new getter interface
2005-07-04 Enrico Tassimatitaclean splitted in matitacleanLib and matitaclean.
2005-07-01 Claudio Sacerdoti... ...
2005-06-29 Claudio Sacerdoti... 1. new syntax for patterns:
2005-06-29 Enrico Tassinow baseuri is needed in each file (and its redefinitio...
2005-06-28 Enrico Tassi* new binary matitatop
2005-06-08 Stefano Zacchiroli- handles about:* uris in cicBrowser
2005-04-27 Stefano Zacchirolichecked in new version of matita from svn
2005-04-27 Stefano Zacchiroliremoved all matita files
2005-02-09 Stefano Zacchiroliadded script support a la coqide
2005-02-07 Stefano Zacchirolirebuilt
2005-02-04 Enrico Tassifix
2005-02-04 Stefano Zacchirolisnapshot, notably:
2005-02-03 Enrico Tassibetter owner hadling
2005-02-03 Stefano Zacchirolirebuilt
2005-02-01 Stefano Zacchirolisnapshot, notably:
2005-01-18 Stefano Zacchirolisnapshot, notably:
2004-11-15 Stefano Zacchirolisnapshot
2004-11-09 Stefano Zacchirolisnapshot, notably:
2004-10-27 Stefano Zacchirolisnapshot, notably:
2004-10-13 Stefano Zacchirolisnapshot, notably history no longer remember annotation...
2004-10-04 Stefano Zacchirolisnapshot
2004-10-01 Stefano Zacchirolisnapshot
2004-05-04 Stefano Zacchirolisnapshot (notably: first working version of the console)
2004-04-29 Stefano Zacchirolisnapshot
2004-04-28 Stefano Zacchirolisnapshot
2004-04-23 Stefano Zacchirolisnapshot
2004-04-22 Stefano Zacchirolisnapshot
2004-04-22 Stefano Zacchirolisnapshot
2004-04-20 Stefano Zacchirolirenamed mathita to matita