]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_omdoc
snapshort
[helm.git] / helm / ocaml / cic_omdoc /
2005-06-10 Claudio Sacerdoti... head_beta_reduce used to create applications of applica...
2005-05-31 Stefano ZacchiroliChanged type of ids_to_inner_sort table used in transfo...
2005-05-18 Enrico Tassifixed some TODO in content2pres
2005-05-03 Enrico Tassiadded sqlStatements module (contains all CREATE TABLE...
2005-04-27 Stefano Zacchirolimerged changes from the svn fork by me and Enrico
2005-03-09 Stefano Zacchiroliadded support for open terms in check
2005-02-04 Stefano Zacchiroliremoved dep on mathql
2005-02-02 Stefano Zacchiroliadded inductive_name field to inductive definitions...
2005-01-21 Stefano Zacchiroliadded attributes
2005-01-20 Stefano Zacchiroli- added rendering of constants/variable with/without...
2005-01-17 Enrico Tassinew cicEnvironment implementation
2004-12-01 Enrico TassiAdded universes handling. The PRE_UNIVERSES tag may...
2004-11-25 Stefano Zacchiroliprotected invocations to get_cooked_obj with assertion...
2004-11-10 Stefano Zacchirolicommented out some timing messages
2004-10-22 Stefano Zacchirolino longer depends on MQueryMisc
2004-07-01 Stefano ZacchiroliNew handling of substitution:
2004-04-23 Enrico TassiUniverses introduction
2004-04-19 Stefano Zacchirolifixed a typo (inside a comment)
2004-04-15 Andrea AspertiMetasenv added as parameter to eta_fixing.
2004-04-06 Stefano Zacchirolieta_fixing of the CurrentProof metasenv is wrong, since...
2004-02-24 Claudio Sacerdoti... Partial porting to V8 URIs.
2004-02-17 Claudio Sacerdoti... - double_type_of: sort_of_prod modified to expect also...
2004-02-10 Claudio Sacerdoti... Only applications whose head was a constant were eta...
2004-02-09 Claudio Sacerdoti... Added flag ?eta_fix:bool to acic_object_of_cic_object.
2004-02-06 Stefano Zacchiroliadded annotations to Cic.Implicit
2004-02-06 Andrea AspertiBug MutCase fixed: now the type of the constructor...
2004-02-05 Claudio Sacerdoti... NameExpected exception removed. The "identifier" __n...
2004-01-22 Andrea AspertiA few modifications, here and there...
2003-12-02 Ferruccio Guidisort CProp added
2003-10-07 Luca Padovani* removed currified constructors everywhere. A bug...
2003-09-23 Ferruccio Guidipatch
2003-09-23 Claudio Sacerdoti... Reindentation
2003-09-05 Stefano ZacchiroliDefs in context may now have an optional type (when...
2003-09-05 Claudio Sacerdoti... string ==> id
2003-09-05 Stefano ZacchiroliDefs in context may now have an optional type (when...
2003-09-05 Claudio Sacerdoti... Debugging infos removed.
2003-09-05 Claudio Sacerdoti... string => id
2003-09-05 Claudio Sacerdoti... Defs in context may now have an optional type (when...
2003-07-30 Claudio Sacerdoti... Unuseful id removed from hypothesis.
2003-07-30 Andrea AspertiEta fixing for MTCases added (that meant to recursively...
2003-07-30 Claudio Sacerdoti... All the ids are now generated by gen_id. (Some of them...
2003-07-29 Andrea AspertiAdded method "FalseInd".
2003-07-29 Claudio Sacerdoti... Prefixes introduced for the generated ids/xrefs. Example:
2003-07-29 Andrea AspertiAdded method AndInd.
2003-07-28 Andrea AspertiFew modif in eta-fixing.
2003-07-25 Claudio Sacerdoti... Lemma generated wrong URIs (again). Fixed.
2003-07-24 Andrea AspertiComplete beta reduction added to avoid strange case...
2003-07-24 Andrea AspertiThe name of TD proofs was erroneously always set to...
2003-07-23 Andrea Asperti- Lemma added to the list of proof arguments
2003-07-21 Andrea AspertiThe Aux argument of conclude is now of type string...
2003-07-21 Claudio Sacerdoti... Interface change: only cobj2obj is exposed.
2003-07-21 Claudio Sacerdoti... Flattening application contexts uncorrectly changed...
2003-07-21 Andrea Asperti** UNTESTED **
2003-07-21 Andrea AspertiWe do not compute inner-types for the metasenv ==>...
2003-07-20 Claudio Sacerdoti... Reindenting.
2003-07-20 Claudio Sacerdoti... proof2cic now uses Deannotate.deannoate_term instead...
2003-07-20 Claudio Sacerdoti... Cic2acic is now responsible of eta-fixing the objects...
2003-07-20 Claudio Sacerdoti... cic2content.ml* moved from cic_transformations to cic_o...
2003-07-20 Claudio Sacerdoti... Content2cic e Eta_fixing moved from gTopLevel to cic_omdoc.
2003-07-20 Claudio Sacerdoti... ...
2003-07-20 Claudio Sacerdoti... cic_transformations factorized into cic_omdoc and cic_t...