]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/content_pres/termContentPres.ml
more comments
[helm.git] / helm / software / components / content_pres / termContentPres.ml
2008-12-14 Enrico Tassieureka! match x with [ C gfds fsd fdg fdg fdg fd gfdg...
2008-12-05 Claudio Sacerdoti... Added new syntax Type[n] where n is a number.
2008-11-27 Enrico Tassinotation now digests Cic.Cast, not sure the precedence...
2008-09-26 Enrico Tassiinclude statement better implemented:
2008-09-04 Enrico Tassiremoved debug pps
2008-09-04 Enrico Tassinotation_id were compared using Pervasives.equal this...
2008-09-04 Claudio Sacerdoti... hbox => hvbox in constructor arguments in match patterns.
2008-07-21 Claudio Sacerdoti... Error message improved.
2008-07-21 Enrico Tassiavoid empty hvbox
2008-07-16 Enrico Tassinotations for lists adds some breaking points
2008-07-12 Ferruccio Guidilibrarian: retrieval of buildable files speeded up...
2008-07-12 Claudio Sacerdoti... New feature/bug fixed (hopefully): it is now possible...
2008-06-23 Enrico Tassinotation support fixed to parentesize in a more sane...
2008-06-19 Enrico Tassinotation fixed to be NON associative by default
2008-06-19 Enrico Tassinotation on steroids: 'term 40 x' is a valid variable...
2008-06-18 Enrico Tassiinitial support for notation that specifies the precede...
2008-06-17 Enrico Tassireordering of lexicon status partially avoided to make...
2008-05-30 Enrico TassiCProp hierarchy is there!
2008-03-11 Claudio Sacerdoti... Very experimental commit: the type of the source is...
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2007-10-26 Claudio Sacerdoti... Wildcard patterns implemented in case analysis. The...
2007-07-18 Enrico Tassirecursive argument in let rec is not printed explicitly.
2007-03-01 Ferruccio GuidiProcedural: some improvements
2007-02-12 Ferruccio GuidiLexiconAstPp: fixed syntax for include
2006-10-25 Claudio Sacerdoti... 1. bug fixed: Unicode characters that are not mapped...
2006-10-13 Claudio Sacerdoti... Content level representation of LetRec changed.
2006-09-29 Enrico Tassiadded metas local context maction: ?n[...]
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/