]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/content_pres/.depend.opt
Bug fixed: RewriteLR were not recognized correctly. Moreover they were also
[helm.git] / helm / software / components / content_pres / .depend.opt
2007-02-06 Ferruccio Guidi- Procedural: moved in a directory on its own
2007-01-12 Ferruccio Guidiprocedural: added fwd rewrite in arbitrary proofs ...
2006-12-29 Ferruccio Guidinow we try two distinct depend files for compilation...