]> matita.cs.unibo.it Git - helm.git/history - helm
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
changed logging message
[helm.git] / helm /
2004-03-05 Claudio Sacerdoti... MutCase branches must be parsed and printed using ... tree | commitdiff
2004-03-05 Claudio Sacerdoti... Branch of MutCase must be parsed and printed using... tree | commitdiff
2004-03-05 Claudio Sacerdoti... Debugging message removed. tree | commitdiff
2004-03-05 Claudio Sacerdoti... apply_subst did not apply the substitution to the expli... tree | commitdiff
2004-03-05 Claudio Sacerdoti... Refine now raises only RefineFailure, AssertFailure... tree | commitdiff
2004-03-05 Claudio Sacerdoti... Wrong error message patched. tree | commitdiff
2004-03-05 Claudio Sacerdoti... List.nth not guarded by try ... with. Fixed. tree | commitdiff
2004-03-05 Claudio Sacerdoti... Debugging code removed. tree | commitdiff
2004-03-05 Claudio Sacerdoti... HelmLogger logging function connected to MathQL Interpr... tree | commitdiff
2004-03-05 Claudio Sacerdoti... Syntax of explicit named substitions syncronized with... tree | commitdiff
2004-03-02 Claudio Sacerdoti... Yet another error in the id regexp: numbers are allowed... tree | commitdiff
2004-03-02 Claudio Sacerdoti... Bug in guarded_by_destructors (case Rel to a definition... 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 Claudio Sacerdoti... ... tree | commitdiff
2004-03-02 Claudio Sacerdoti... - Improved error messaging. tree | commitdiff
2004-03-02 Stefano Zacchiroli- ported to latest CicAst.Ident format (Some [] <>... tree | commitdiff
2004-03-02 Stefano Zacchirolidifferentieted empty substitution list from no substitu... tree | commitdiff
2004-03-02 Stefano Zacchiroli- regtest now handles more than one interpretation... tree | commitdiff
2004-03-02 Stefano Zacchiroliadded cast concrete syntax 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-03-02 Claudio Sacerdoti... The disambiguation now returns a list of interpretations. tree | commitdiff
2004-02-27 Ferruccio Guidinow database interfaces are more abstract tree | commitdiff
2004-02-26 Ferruccio Guidi- MySQL mode added to the interpreter tree | commitdiff
2004-02-26 Claudio Sacerdoti... Error message fixed. 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... New implementation of eat_prods. tree | commitdiff
2004-02-26 Stefano Zacchiroli- better handling of temp files wrt to failures. When... tree | commitdiff
2004-02-26 Stefano Zacchiroliadded support for commands and scripts tree | commitdiff
2004-02-26 Stefano Zacchiroliadded vim modeline for encoding=utf8 tree | commitdiff
2004-02-26 Stefano Zacchiroliadded command and script ASTs with _debugging_only_... tree | commitdiff
2004-02-26 Claudio Sacerdoti... Bug fixed: names of just one character were not inserte... tree | commitdiff
2004-02-26 Claudio Sacerdoti... One MQInterpreter commit broke regtest.ml. Fixed. tree | commitdiff
2004-02-26 Claudio Sacerdoti... Optimization: since an invariant says that the inferred... tree | commitdiff
2004-02-26 Claudio Sacerdoti... ... tree | commitdiff
2004-02-26 Claudio Sacerdoti... eqT removed. tree | commitdiff
2004-02-25 Claudio Sacerdoti... Variable redefined. Fixed. tree | commitdiff
2004-02-24 Stefano Zacchiroliadded mathitaGui.mli tree | commitdiff
2004-02-24 Stefano Zacchirolisnapshot tree | commitdiff
2004-02-24 Stefano Zacchiroliadded functions and uris for binary {positive,integer} tree | commitdiff
2004-02-24 Stefano Zacchiroliadded binary {positive,integer} notation tree | commitdiff
2004-02-24 Claudio Sacerdoti... New v8.0 URIs. tree | commitdiff
2004-02-24 Claudio Sacerdoti... More uris ported to V8.0. tree | commitdiff
2004-02-24 Claudio Sacerdoti... More V8.0 uris. tree | commitdiff
2004-02-24 Claudio Sacerdoti... More v8.0 URIs. tree | commitdiff
2004-02-24 Claudio Sacerdoti... Porting URIs to V8.0. tree | commitdiff
2004-02-24 Claudio Sacerdoti... Partial porting to V8 URIs. tree | commitdiff
2004-02-24 Claudio Sacerdoti... Porting to MySql. tree | commitdiff
2004-02-24 Claudio Sacerdoti... MySQL is case sensitive. tree | commitdiff
2004-02-24 Claudio Sacerdoti... Quick patch to make everything work with MySql. tree | commitdiff
2004-02-24 Stefano Zacchiroli- added support for boolean parameters tree | commitdiff
2004-02-24 Claudio Sacerdoti... ... tree | commitdiff
2004-02-24 Claudio Sacerdoti... - Targets reorganized tree | commitdiff
2004-02-24 Claudio Sacerdoti... Added parameter format=text|xml to getalluris. tree | commitdiff
2004-02-23 Claudio Sacerdoti... A lazy value was put in place of a function ==> the... tree | commitdiff
2004-02-23 Claudio Sacerdoti... "add_server?position=0" no longer worked (raised an... tree | commitdiff
2004-02-23 Claudio Sacerdoti... No longer in use. tree | commitdiff
2004-02-23 Claudio Sacerdoti... Script to create and drop tables and indexes committed. tree | commitdiff
2004-02-23 Stefano Zacchiroliadded a space between term and "using" keyword tree | commitdiff
2004-02-23 Stefano Zacchirolicommented out a debugging message tree | commitdiff
2004-02-23 Stefano Zacchirolibugfix in "elim ... using" tactical ("using" is a keyword) tree | commitdiff
2004-02-23 Stefano Zacchiroliadded a lot of notation: arithmetic operators, relation... tree | commitdiff
2004-02-23 Stefano ZacchiroliRinv typo fix tree | commitdiff
2004-02-23 Claudio Sacerdoti... -memory leaks fixed tree | commitdiff
2004-02-23 Claudio Sacerdoti... The metadata extractor now generates also tree | commitdiff
2004-02-23 Claudio Sacerdoti... New framework for metadata generation. tree | commitdiff
2004-02-23 Claudio Sacerdoti... (Very)* Old stuff removed. tree | commitdiff
2004-02-23 Claudio Sacerdoti... Bug fix: the generated XML for DCs was not well-formed. tree | commitdiff
2004-02-23 Claudio Sacerdoti... kind=dc implemented. tree | commitdiff
2004-02-23 Stefano Zacchirolisupport optional keys in configuration file tree | commitdiff
2004-02-23 Stefano Zacchiroliremoved password entry, now uses "helm" user (read... tree | commitdiff
2004-02-21 Luca Padovani* update for 0.0.5 tree | commitdiff
2004-02-21 Luca Padovani* cleanup tree | commitdiff
2004-02-21 Luca Padovani* fix so that ocamlmklib works tree | commitdiff
2004-02-21 Luca Padovani* removed debian dir from EXTRA_DIST var tree | commitdiff
2004-02-21 Luca Padovani* using non-diffing mathml factory tree | commitdiff
2004-02-21 Luca Padovani* updated the updating method so that the root element... tree | commitdiff
2004-02-21 Luca Padovani* added wrapper element around processed document tree | commitdiff
2004-02-21 Luca Padovani* fixed profiling flags tree | commitdiff
2004-02-20 Claudio Sacerdoti... ... tree | commitdiff
2004-02-20 Stefano Zacchirolifirst check in of mathita gui tree | commitdiff
2004-02-20 Stefano Zacchirolibugfix: "in" is an IDENT, not a keyword tree | commitdiff
2004-02-20 Claudio Sacerdoti... Quick patch to use rdfly (URL hard-coded everywhere). tree | commitdiff
2004-02-20 Ferruccio Guidihard-coded timing of generated queries disabled: use... tree | commitdiff
2004-02-20 Claudio Sacerdoti... Ported to tree | commitdiff
2004-02-20 Ferruccio Guidi- mathql interpreter flags reorganized tree | commitdiff
2004-02-20 Claudio Sacerdoti... A brand new daemon: rdfly. tree | commitdiff
2004-02-19 Ferruccio Guidisource logging patched tree | commitdiff
2004-02-19 Ferruccio Guidinew mathql interpreterr flag V tree | commitdiff
2004-02-19 Ferruccio Guidisource logging is now native in the interpreter tree | commitdiff
2004-02-19 Ferruccio Guidisource logging enabled by default tree | commitdiff
2004-02-19 Andrea AspertiAdding tacticAst2Box (pretty printer for tactical,... tree | commitdiff
2004-02-19 Andrea AspertiMinor modification in test_parser (to use the new prett... tree | commitdiff
2004-02-18 Claudio Sacerdoti... ... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.