]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ocaml 3.09 transition
[helm.git] / helm / gTopLevel /
2005-04-27 Stefano Zacchirolirenamed hbugs hint costructors to match latest API tree | commitdiff
2005-04-27 Stefano Zacchirolibugfix: patched .ml.in instaned of .ml :-( tree | commitdiff
2005-04-27 Stefano Zacchiroliported to svn-cvs merge tree | commitdiff
2005-02-07 Enrico Tassiremoved chosenTransformer.ml* tree | commitdiff
2005-02-07 Enrico Tassiremoved chosenTransformer.mli tree | commitdiff
2005-02-07 Enrico Tassisync with Xml.pp tree | commitdiff
2005-02-03 Enrico Tassiremoved uri parameter from load_proof tree | commitdiff
2005-01-21 Enrico Tassi- sync with the new ApplyTransformation API tree | commitdiff
2005-01-20 Stefano Zacchirolihelmns -> helm_ns tree | commitdiff
2005-01-17 Enrico Tassinew cicEnvironment implementation tree | commitdiff
2004-12-01 Enrico TassiAdded universes handling. Tag PRE_UNIVERSES may help ;) tree | commitdiff
2004-11-29 Stefano Zacchiroli- ported tests to newer PP / substitutions tree | commitdiff
2004-11-29 Stefano Zacchiroli- passes subst to FreshNameGenerator tree | commitdiff
2004-11-29 Stefano Zacchiroliremoved old debugging prints tree | commitdiff
2004-11-26 Stefano Zacchiroliported to Mysql tree | commitdiff
2004-11-26 Stefano Zacchiroliported to new xpointer syntax tree | commitdiff
2004-11-05 Stefano Zacchiroliported to new cut and letin "API" tree | commitdiff
2004-11-04 Andrea AspertiPorting to the new version of auto. tree | commitdiff
2004-11-03 Stefano Zacchirolino longer use Dbi module but directly use Mysql module... tree | commitdiff
2004-10-29 Stefano Zacchiroliignore typecheck_uri{,.opt} tree | commitdiff
2004-10-29 Stefano Zacchiroliadded test script for typechecking URIs given on STDIN tree | commitdiff
2004-10-22 Stefano Zacchiroli- support also DBI handle tree | commitdiff
2004-10-22 Stefano Zacchirolino longer build oldDisambiguate tree | commitdiff
2004-10-22 Stefano Zacchiroliuses DBI handle tree | commitdiff
2004-10-22 Stefano Zacchiroli- disambiguation now needs DBI handle tree | commitdiff
2004-10-22 Stefano Zacchiroliauto needs DBI handle tree | commitdiff
2004-10-22 Stefano Zacchirolitemporary: for the moment we need both MQI handle and... tree | commitdiff
2004-10-22 Stefano Zacchiroliported to Dbi-disambiguation tree | commitdiff
2004-10-22 Stefano Zacchiroliignore boolean returned by saveDocument tree | commitdiff
2004-10-14 Claudio Sacerdoti... Luca (bugged) debugging stuff removed. tree | commitdiff
2004-10-04 Stefano Zacchiroliadded dependency on helm-xmldiff tree | commitdiff
2004-10-04 Stefano Zacchirolimoved xmldiff in ocaml/ tree | commitdiff
2004-09-28 Luca Padovani* minor correction to make the new mathml widget work... tree | commitdiff
2004-09-27 Luca Padovani* removed PREDICATES tree | commitdiff
2004-09-09 Ferruccio Guidinow should run also when the db is down (untested) tree | commitdiff
2004-09-09 Stefano Zacchiroliported to latest lablgtkmathview tree | commitdiff
2004-09-08 Stefano Zacchirolifixed some illegal backslash escapes tree | commitdiff
2004-06-18 Claudio Sacerdoti... New syntax. tree | commitdiff
2004-06-01 Enrico Tassinew universes implementation tree | commitdiff
2004-05-20 Luca Padovani* hbugs moved in ocaml tree | commitdiff
2004-05-13 Ferruccio Guidi- some code patched tree | commitdiff
2004-05-13 Stefano Zacchirolichanged proofStatus so that uri component is optional... tree | commitdiff
2004-04-29 Stefano Zacchiroli- moved applyTransformation initialization code to... tree | commitdiff
2004-04-28 Stefano Zacchirolirebuilt tree | commitdiff
2004-04-28 Stefano Zacchiroliadded extra "id" parameter for input_or_locate_uri... tree | commitdiff
2004-04-28 Stefano Zacchiroliremoved file:// prefix from local_library key, hopefull... tree | commitdiff
2004-04-22 Claudio Sacerdoti... mysql_connection.* keys added tree | commitdiff
2004-04-21 Stefano Zacchirolidetects and uses {ocamlc,ocamlopt}.opt when available tree | commitdiff
2004-04-20 Stefano Zacchiroligot rid of a ~status label tree | commitdiff
2004-04-20 Stefano Zacchiroligot rid of ~status label tree | commitdiff
2004-04-19 Stefano Zacchiroliignore Makefile since now it's generated by configure tree | commitdiff
2004-04-19 Stefano Zacchiroliadded Makefile.in tree | commitdiff
2004-04-01 Stefano Zacchiroliremoved no longer needed password from connection string tree | commitdiff
2004-03-26 Claudio Sacerdoti... Algebra => CoRN tree | commitdiff
2004-03-15 Andrea AspertiThis fails. tree | commitdiff
2004-03-12 acerioniNew tactic Auto. tree | commitdiff
2004-03-05 Claudio Sacerdoti... Quick & dirty patch to overcome a bug of ocamlfind. tree | commitdiff
2004-03-05 Claudio Sacerdoti... Added option -timeout. Default is 5s. tree | commitdiff
2004-03-05 Claudio Sacerdoti... Refine now raises only RefineFailure, AssertFailure... tree | commitdiff
2004-03-05 Claudio Sacerdoti... HelmLogger logging function connected to MathQL Interpr... tree | commitdiff
2004-03-02 Claudio Sacerdoti... Big bug fixed: batchParser applied the varsprefix prefi... tree | commitdiff
2004-03-02 Claudio Sacerdoti... Improved output when [ MANY ] occurs. tree | commitdiff
2004-03-02 Claudio Sacerdoti... ... tree | commitdiff
2004-03-02 Stefano Zacchiroli- regtest now handles more than one interpretation... tree | commitdiff
2004-03-02 Claudio Sacerdoti... The regression tests now check also the generated disam... tree | commitdiff
2004-03-02 Claudio Sacerdoti... Regtest fixed. It can now work also with multiple answers. tree | commitdiff
2004-03-02 Claudio Sacerdoti... The disambiguation now returns a list of interpretations. tree | commitdiff
2004-02-26 Ferruccio Guidi- MySQL mode added to the interpreter tree | commitdiff
2004-02-26 Claudio Sacerdoti... ... tree | commitdiff
2004-02-26 Claudio Sacerdoti... triciclo.conf.xml ==> gTopLevel.conf.xml tree | commitdiff
2004-02-26 Claudio Sacerdoti... Added () to MQInit.init. tree | commitdiff
2004-02-26 Claudio Sacerdoti... New implementation of eat_prods. Some residual problems... tree | commitdiff
2004-02-26 Claudio Sacerdoti... One MQInterpreter commit broke regtest.ml. Fixed. tree | commitdiff
2004-02-20 Ferruccio Guidi- mathql interpreter flags reorganized tree | commitdiff
2004-02-19 Ferruccio Guidinew mathql interpreterr flag V tree | commitdiff
2004-02-18 Ferruccio Guidimathql interpreter flags can be now red from helm registry tree | commitdiff
2004-02-18 Stefano Zacchiroli- better error message on "unknown identifier" tree | commitdiff
2004-02-18 Ferruccio GuidibatchParser and regtest patched to avoid a non encapsul... tree | commitdiff
2004-02-17 Stefano Zacchirolifixed typo tree | commitdiff
2004-02-17 Claudio Sacerdoti... New key mathql_interpreter.postgresql_connection_string. tree | commitdiff
2004-02-17 Claudio Sacerdoti... mathql_db_map.txt is now retrieved by Helm_registry. tree | commitdiff
2004-02-17 Stefano Zacchirolifixed typo tree | commitdiff
2004-02-17 Claudio Sacerdoti... triciclo.conf.xml ==> gTopLevel.conf.xml tree | commitdiff
2004-02-16 Claudio Sacerdoti... - triciclo.conf.xml.sample ported to the latest version... tree | commitdiff
2004-02-16 Stefano Zacchirolitypo fixed (unbalanced parens) tree | commitdiff
2004-02-13 Stefano Zacchiroliadded regtest for optional inductive type on mutcase tree | commitdiff
2004-02-13 Stefano Zacchirolisplit configure.ac in two parts: ocaml and gTopLevel tree | commitdiff
2004-02-12 Ferruccio Guidinew .depend files tree | commitdiff
2004-02-11 Stefano Zacchirolibugfix: auto_disambiguation is not considered for searc... tree | commitdiff
2004-02-11 Claudio Sacerdoti... - script.sh removed from CVS. script.sh.sample added... tree | commitdiff
2004-02-11 Stefano Zacchirolinew logger tree | commitdiff
2004-02-11 Stefano Zacchirolinew getter, logger, and the hell tree | commitdiff
2004-02-11 Claudio Sacerdoti... added target *.opt (e.g. test.opt, librarytest.opt... tree | commitdiff
2004-02-11 Claudio Sacerdoti... - make *opt fixed tree | commitdiff
2004-02-10 Claudio Sacerdoti... CicCache ==> CicEnvironment (in testlibrary.ml) tree | commitdiff
2004-02-10 Claudio Sacerdoti... - fixed final log reporting (that was broken by one... tree | commitdiff
2004-02-09 Claudio Sacerdoti... Added flag ?eta_fix:bool to acic_object_of_cic_object. tree | commitdiff
2004-02-07 Claudio Sacerdoti... A better (but yet not empty) metasenv is now returned. tree | commitdiff
2004-02-07 Stefano Zacchiroli- added options "-vars" and "-varsprefix" tree | commitdiff
2004-02-07 Stefano Zacchirolichanged deps since testlibrary now uses (minimally... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.