]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/library/libraryClean.ml
added margin option to the pp
[helm.git] / helm / software / components / library / libraryClean.ml
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2007-07-19 Enrico Tassifixed escaping for sqlite
2007-07-10 Enrico Tassifixed a bug in the cleanup ofsedir that was not properl...
2007-07-06 Enrico Tassimaxipatch for support of multiple DBs.
2007-06-14 Claudio Sacerdoti... Incompatible syntax problem between MySql e Sqlite3...
2007-06-13 Enrico Tassimany changes:
2007-05-29 Enrico TassihSqlite3.ml used create_fun_2 to define REGEXP.
2007-05-23 Claudio Sacerdoti... Yet another patch to LibraryClean.
2007-05-18 lzingareadded alternative implementation for hMysql relying
2006-07-18 Claudio Sacerdoti... libraryclean fixed to eradicate files generated from...
2006-03-17 Enrico Tassitests are now handled with a standard Makefile that...
2006-03-15 Enrico Tassimore work for the release
2006-03-13 Enrico TassiHuge commit for the release. Includes:
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/