]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
changed proofStatus so that uri component is optional (useful to start an
[helm.git] / helm / gTopLevel /
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
2004-02-07 Stefano Zacchirolirebuilt tree | commitdiff
2004-02-06 Stefano Zacchiroliadded annotations to Cic.Implicit tree | commitdiff
2004-02-06 Stefano Zacchiroliuse ledit for debugging tree | commitdiff
2004-02-06 Stefano Zacchiroliignore .debug_script (used by Makefile's debug target) tree | commitdiff
2004-02-06 Stefano Zacchiroli- split regtest/testlibrary/gTopLevel objects so that... tree | commitdiff
2004-02-06 Stefano Zacchiroliadded testlibrary.opt and some cm**** tree | commitdiff
2004-02-05 Claudio Sacerdoti... No more garbage in the metasenv. tree | commitdiff
2004-02-05 Claudio Sacerdoti... New target librarytest (to apply testlibrary.opt to... tree | commitdiff
2004-02-05 Stefano Zacchiroli- added support for multiple choices tree | commitdiff
2004-02-05 Stefano Zacchirolibetter output format tree | commitdiff
2004-02-05 Stefano Zacchiroliflush stdout after print_string tree | commitdiff
2004-02-05 Stefano Zacchiroli- added testlibrary .opts tree | commitdiff
2004-02-05 Claudio Sacerdoti... __n no longer generated. tree | commitdiff
2004-02-05 Stefano Zacchiroliadded testlibrary script 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... New test. tree | commitdiff
2004-02-04 Claudio Sacerdoti... Added newline. tree | commitdiff
2004-02-04 Claudio Sacerdoti... Effects of fixing bugs for other regression tests ;-) tree | commitdiff
2004-02-04 Andrea AspertiAdded a new example. tree | commitdiff
2004-02-04 Claudio Sacerdoti... report files are now produced (and removed) during... tree | commitdiff
2004-02-04 Claudio Sacerdoti... ... tree | commitdiff
2004-02-04 Claudio Sacerdoti... Typo fixed. Used to break target gentest. tree | commitdiff
2004-02-04 Claudio Sacerdoti... Improved regression testing reporting. tree | commitdiff
2004-02-04 Claudio Sacerdoti... - regtest: better argument handling (using Arg) tree | commitdiff
2004-02-03 Claudio Sacerdoti... regression tests tree | commitdiff
2004-02-03 Stefano Zacchiroli- comment inside .test file that explain what follows tree | commitdiff
2004-02-03 Stefano Zacchiroliadded cleantest target (removes tests/*.test) tree | commitdiff
2004-02-03 Claudio Sacerdoti... Check missed: the two metasenv were not compared. tree | commitdiff
2004-02-03 Claudio Sacerdoti... Debuggin infos removed. tree | commitdiff
2004-02-03 Claudio Sacerdoti... - do not crash any longer if type-checking or reduction... tree | commitdiff
2004-02-03 Claudio Sacerdoti... time added to regtest tree | commitdiff
2004-02-03 Claudio Sacerdoti... New tests for lambdas (that show bugs in applications ;-) tree | commitdiff
2004-02-03 Stefano Zacchirolicatch exceptions and mark corresponding tests as failed tree | commitdiff
2004-02-02 Stefano Zacchiroliported to new type_of prototype tree | commitdiff
2004-02-02 Stefano Zacchirolifact regtest tree | commitdiff
2004-01-30 Claudio Sacerdoti... Refinement of Fix and CoFix now implemented. tree | commitdiff
2004-01-30 Stefano Zacchiroliadded regression tests tree | commitdiff
2004-01-30 Stefano Zacchirolis/Callbacks/DisambiguateCallbacks/ tree | commitdiff
2004-01-29 Stefano Zacchiroli- s/TexTermEditor/TermEditor/ (* former no longer appro... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.