]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic/cicParser.ml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / ocaml / cic / cicParser.ml
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/ commit | commitdiff
2006-01-27 Claudio Sacerdoti... Big bug fixed: attributes of constants were forgot... commit | commitdiff
2006-01-08 Claudio Sacerdoti... Added $Id$ to every .ml file. commit | commitdiff
2005-12-07 Enrico TassiBig commit to let Ferruccio try the merge_coercion... commit | commitdiff
2005-09-23 Enrico Tassiadded parsing of Type:N commit | commitdiff
2005-09-21 Claudio Sacerdoti... We do not longer generate inner-types and inner-sorts... commit | commitdiff
2005-09-21 Claudio Sacerdoti... All the debug_print are now lazy. commit | commitdiff
2005-07-08 Enrico Tassiadded Variant theorem flavour commit | commitdiff
2005-07-05 Stefano Zacchiroliported to new getter interface commit | commitdiff
2005-06-24 Claudio Sacerdoti... cicPxpParser.ml*, cicParser2.ml* and cicParser3.ml... commit | commitdiff
2005-05-05 Stefano Zacchiroli- implemented CicPushParser which parser CIC objects... commit | commitdiff
2005-01-24 Stefano Zacchiroli- added handling of exceptions embedded in xml document... commit | commitdiff
2004-04-19 Stefano Zacchiroli- use PxpHelmConf commit | commitdiff
2003-06-24 Claudio Sacerdoti... Porting to the latest version of PXP (1.1.94). commit | commitdiff
2003-06-19 Claudio Sacerdoti... Merge of the V7_3_new_exportation branch. commit | commitdiff
2002-11-15 Stefano Zacchirolibackported new pxp module from branch V7_3_new_exportation commit | commitdiff
2002-05-20 Claudio Sacerdoti... New experimental commit: metavariables representation... commit | commitdiff
2001-12-03 Claudio Sacerdoti... * Major code cleanup. commit | commitdiff
2001-11-26 Claudio Sacerdoti... HELM OCaml libraries with findlib support. commit | commitdiff
Unnamed repository; edit this file 'description' to name the repository.