]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_disambiguation/Makefile
parameter sintax added to axiom statement
[helm.git] / helm / software / components / ng_disambiguation / Makefile
2010-01-18 Andrea AspertiNumber notation for NG.
2008-12-01 Claudio Sacerdoti... rt.op and check.opt removed from Makefile
2008-11-27 Enrico TassiNew modules stack:
2008-11-27 Enrico Tassinew kernel is compiled since the META of grafite_parser...
2008-11-26 Enrico Tassidisambiguation even more abstracted
2008-11-12 Enrico Tassidisambiguation for ng terms almost there