]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
typo fixed (unbalanced parens)
[helm.git] / helm / ocaml /
2004-02-16 Stefano Zacchiroliadded ocamlinit target which creates a .ocamlinit file tree | commitdiff
2004-02-16 Stefano Zacchirolisolved a precedence issue between binders and arrows tree | commitdiff
2004-02-16 Stefano Zacchirolido not use tex notation per default (used only by tex... tree | commitdiff
2004-02-16 Stefano Zacchiroliuse BoxPp tree | commitdiff
2004-02-16 Stefano Zacchiroli- added arrow notation tree | commitdiff
2004-02-13 Stefano Zacchiroliinductive type ident optional in mutcase tree | commitdiff
2004-02-13 Stefano Zacchirolis/pcre/str/ tree | commitdiff
2004-02-13 Andrea Aspertinew (box based) pretty printer tree | commitdiff
2004-02-13 Stefano Zacchirolisplit configure.ac in two parts: ocaml and gTopLevel tree | commitdiff
2004-02-13 Stefano Zacchiroli- added support for variable interpolation tree | commitdiff
2004-02-12 Ferruccio Guidipatched for *.cmx tree | commitdiff
2004-02-12 Ferruccio Guidinew .depend files tree | commitdiff
2004-02-12 Stefano Zacchiroliremoved some anciente debugging messages tree | commitdiff
2004-02-12 Claudio Sacerdoti... libraries-complete.ps: tree | commitdiff
2004-02-12 Claudio Sacerdoti... libraries-complete.ps: the internal libraries are now... tree | commitdiff
2004-02-12 Claudio Sacerdoti... Added new target libraries-complete.ps (with also all... tree | commitdiff
2004-02-11 Stefano Zacchirolifixed typo tree | commitdiff
2004-02-11 Stefano Zacchirolinew logger tree | commitdiff
2004-02-11 Stefano Zacchirolinew logger, getter, and the hell tree | commitdiff
2004-02-11 Stefano Zacchirolisupport for subst tree | commitdiff
2004-02-11 Stefano Zacchirolinew metas (getter's backend, registry, logger, and... tree | commitdiff
2004-02-11 Stefano Zacchiroliported to new getter (backend) tree | commitdiff
2004-02-11 Stefano Zacchiroliported to helm registry tree | commitdiff
2004-02-11 Stefano Zacchiroliported to new logger tree | commitdiff
2004-02-11 Stefano Zacchiroliuse debug_print in a debugging message tree | commitdiff
2004-02-11 Stefano Zacchiroli- getter revolution: split backend and frontend (this... tree | commitdiff
2004-02-11 Stefano Zacchiroli- split away gtk logger tree | commitdiff
2004-02-11 Stefano Zacchiroliadded some debugging messages tree | commitdiff
2004-02-11 Claudio Sacerdoti... A type checking error report now prints also the metasenv. tree | commitdiff
2004-02-11 Claudio Sacerdoti... Big changes: tree | commitdiff
2004-02-11 Claudio Sacerdoti... Added copyright notice. tree | commitdiff
2004-02-10 Claudio Sacerdoti... Explicit Named Substitutions now supported. tree | commitdiff
2004-02-10 Claudio Sacerdoti... Bug fixed: when an axiom was asked, an exception was... tree | commitdiff
2004-02-10 Claudio Sacerdoti... Only applications whose head was a constant were eta... tree | commitdiff
2004-02-10 Claudio Sacerdoti... Bug fixed: checking inductive type declarations with... tree | commitdiff
2004-02-10 Stefano Zacchiroliadded "'" as a valid (continuation) identifier character tree | commitdiff
2004-02-09 Claudio Sacerdoti... Added flag ?eta_fix:bool to acic_object_of_cic_object. tree | commitdiff
2004-02-09 Stefano Zacchiroliadded thread entry tree | commitdiff
2004-02-09 Stefano Zacchiroliadded netstring and pxp deps tree | commitdiff
2004-02-09 Stefano Zacchirolihelm-thread's META tree | commitdiff
2004-02-09 Stefano Zacchirolithread library (actually contains just ThreadSafe module) tree | commitdiff
2004-02-09 Stefano Zacchiroli- added environment variable overriding tree | commitdiff
2004-02-09 Claudio Sacerdoti... sort_of_prod now thinks that a "sort metavariable"... tree | commitdiff
2004-02-09 Claudio Sacerdoti... Added is_closed. tree | commitdiff
2004-02-09 Stefano Zacchirolino longer use marshalled table for unicode macros tree | commitdiff
2004-02-09 Stefano Zacchiroliuse CicAstPp tree | commitdiff
2004-02-09 Claudio Sacerdoti... eat_prods now uses mk_implicit_type. tree | commitdiff
2004-02-07 Claudio Sacerdoti... - Added mk_implicit_sort. tree | commitdiff
2004-02-07 Claudio Sacerdoti... Added mk_implicit_sort. tree | commitdiff
2004-02-07 Claudio Sacerdoti... sort_of_prod: the second term, when it is a meta, was... tree | commitdiff
2004-02-06 Claudio Sacerdoti... sort metavariables are now generated in an empty canoni... tree | commitdiff
2004-02-06 Stefano Zacchiroliadded annotations to Cic.Implicit tree | commitdiff
2004-02-06 Claudio Sacerdoti... Comments (notes) removed. tree | commitdiff
2004-02-06 Claudio Sacerdoti... Code riorganization. tree | commitdiff
2004-02-06 Stefano Zacchiroliadded Format-library-friendly pretty printers defined... tree | commitdiff
2004-02-06 Stefano Zacchiroliadded -g flag to ocamlc per default tree | commitdiff
2004-02-06 Stefano Zacchirolitextual term editor is now the default one tree | commitdiff
2004-02-06 Andrea AspertiBug MutCase fixed: now the type of the constructor... tree | commitdiff
2004-02-05 Claudio Sacerdoti... NameExpected exception removed. The "identifier" __n... tree | commitdiff
2004-02-05 Claudio Sacerdoti... Improved error messages. tree | commitdiff
2004-02-05 Stefano Zacchirolidebug prints on stderr tree | commitdiff
2004-02-05 Stefano Zacchiroliremoved duplicated entry about freshNamesGenerator tree | commitdiff
2004-02-05 Stefano Zacchiroliadded \to notation for anonymous binders Pi and Lambda tree | commitdiff
2004-02-05 Stefano Zacchirolibugfix: use rev_uniq also on non-located term tree | commitdiff
2004-02-05 Claudio Sacerdoti... sort_of_prod relaxed to accept also Metas (when the... tree | commitdiff
2004-02-05 Claudio Sacerdoti... - sort_of_prod now returns the second Meta (if it is... tree | commitdiff
2004-02-05 Stefano Zacchiroliadded html_of_html_msg tree | commitdiff
2004-02-05 Claudio Sacerdoti... "assert false" relaxed to a warning. tree | commitdiff
2004-02-05 Claudio Sacerdoti... No longer puts anonymous declarations in the canonical... tree | commitdiff
2004-02-05 Claudio Sacerdoti... - the result of a refinement is now cleared from dummy... tree | commitdiff
2004-02-05 Claudio Sacerdoti... freshNameGenerator.ml* added tree | commitdiff
2004-02-05 Stefano Zacchirolirebuilt tree | commitdiff
2004-02-05 Stefano Zacchiroliadded freshNameGenerator tree | commitdiff
2004-02-05 Stefano Zacchiroliuse a dummy location when no location is provided tree | commitdiff
2004-02-05 Stefano Zacchiroliadded ( ) notation for binders tree | commitdiff
2004-02-05 Claudio Sacerdoti... dummy dependent types and dummy letins are now removed... tree | commitdiff
2004-02-05 Claudio Sacerdoti... fresh_name_generator has now also the metasenv parameter. tree | commitdiff
2004-02-05 Claudio Sacerdoti... mk_fresh_name moved to FreshNamesGenerator. tree | commitdiff
2004-02-05 Claudio Sacerdoti... Final answer: the local context MUST be normalized... tree | commitdiff
2004-02-05 Claudio Sacerdoti... Restrict reimplemented to avoid generating lists of... tree | commitdiff
2004-02-05 Claudio Sacerdoti... Added a TODO (to catch only the right exceptions instea... tree | commitdiff
2004-02-05 Claudio Sacerdoti... Bug fixed: the canonical contexts were traversed in... tree | commitdiff
2004-02-04 Claudio Sacerdoti... Rel to hidden hypotheses are now printed as _hidden_n. tree | commitdiff
2004-02-04 Claudio Sacerdoti... ppterm_in_context exported tree | commitdiff
2004-02-04 Claudio Sacerdoti... ppcontext (and thus also ppmetasenv) were buggy: the... tree | commitdiff
2004-02-04 Claudio Sacerdoti... Functors must be applied using parentheses around the... tree | commitdiff
2004-02-04 Claudio Sacerdoti... Bug fixed: restriction of already restricted contexts... tree | commitdiff
2004-02-04 Claudio Sacerdoti... We no longer apply the subst to a Meta in force_does_no... tree | commitdiff
2004-02-04 Andrea Aspertidelift no longer apply the substitution when a Meta... tree | commitdiff
2004-02-04 Claudio Sacerdoti... ... tree | commitdiff
2004-02-04 Claudio Sacerdoti... Patch to delift withdrawn. tree | commitdiff
2004-02-04 Claudio Sacerdoti... Bug fixed: when a variable not instantiated yet was... tree | commitdiff
2004-02-04 Stefano Zacchiroliremoved a debugging message tree | commitdiff
2004-02-04 Stefano Zacchiroli- improved some error messages tree | commitdiff
2004-02-04 Stefano Zacchirolimoved here CicAst and pretty printer tree | commitdiff
2004-02-04 Stefano Zacchiroliported to CicAst tree | commitdiff
2004-02-04 Stefano Zacchiroli- sorted domain which hopefully avoids exponential... tree | commitdiff
2004-02-04 Stefano Zacchirolimoved Ast in cic_transformations/ tree | commitdiff
2004-02-04 Stefano Zacchiroli- added support for implicit in concrete syntax tree | commitdiff
2004-02-03 Claudio Sacerdoti... cic_mkimplicit' removed (its implementation was wrong... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.