]> matita.cs.unibo.it Git - helm.git/history - helm/matita/matitamakeLib.ml
made executable again
[helm.git] / helm / matita / matitamakeLib.ml
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/
2006-02-03 Stefano Zacchirolirelease snapshot
2006-01-08 Claudio Sacerdoti... Added $Id$ to every .ml file.
2005-11-29 Claudio Sacerdoti... * Part of matita that used to deal with the library...
2005-11-27 Stefano Zacchiroliremoved dead code (thanks to ocaml 3.09)
2005-10-07 Stefano Zacchiroliadded -nodb support
2005-09-26 Stefano Zacchiroli- added integrity checks on .moo files
2005-07-27 Enrico Tassifixed matitamake to handle development with names with...
2005-07-25 Enrico Tassibuilding/cleaning a devel now makes buttons insensitive
2005-07-22 Andrea AspertiRemoved debugging print.
2005-07-22 Claudio Sacerdoti... Big changes:
2005-07-20 Enrico Tassibetter handling of backgroud compiler process
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-15 Enrico Tassimatitamake is integrated with matita
2005-07-13 Enrico Tassimatitamake stuff: