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