]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/.depend
fixed, it seems the new handling of hints in some rare cases made inference stupid
[helm.git] / helm / software / matita / .depend
2008-12-08 Enrico Tassinon active but almost working implementation of \TeX...
2008-12-06 Enrico Tassinew concept of virtuals, defined only in the gui that...
2008-08-28 Ferruccio GuidiapplyTransformation: variable discharging in procedural...
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2007-07-23 Enrico Tassifixed makefiles to make it compile cleanly again
2007-07-06 Enrico Tassimaxipatch for support of multiple DBs.
2007-05-23 Enrico Tassideps fixed
2007-05-17 Enrico Tassiauto rewritten with only one tail recursive function.
2007-03-07 Ferruccio GuidiProcedural : cic object preprocessor added
2007-02-06 Ferruccio Guidi- Procedural: moved in a directory on its own
2006-09-27 Stefano Zacchirolirebuilt
2006-09-04 Stefano Zacchirolirebuilt
2006-08-28 Ferruccio Guidi- Level-1: some fixes to the extraction procedure
2006-07-24 Enrico Tassimore work on matitaprover (no more XML and buris are...
2006-07-22 Enrico Tassimatitaprover
2006-07-12 Stefano Zacchiroliadded widget for rendering and interacting with graphs...
2006-04-13 Enrico Tassito tired to write a message.
2006-04-12 Enrico Tassifixed new compilation order
2006-03-15 Enrico Tassimore work for the release
2006-02-23 Stefano Zacchiroliadded "gragrep", grep-like tool over a bunch of grafite...
2006-02-06 Stefano Zacchiroliadded Matitamake interface
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/