]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2004-02-26 Ferruccio Guidi- MySQL mode added to the interpreter
2004-02-26 Claudio Sacerdoti... Error message fixed.
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... New implementation of eat_prods.
2004-02-26 Stefano Zacchiroli- better handling of temp files wrt to failures. When...
2004-02-26 Stefano Zacchiroliadded support for commands and scripts
2004-02-26 Stefano Zacchiroliadded vim modeline for encoding=utf8
2004-02-26 Stefano Zacchiroliadded command and script ASTs with _debugging_only_...
2004-02-26 Claudio Sacerdoti... Bug fixed: names of just one character were not inserte...
2004-02-26 Claudio Sacerdoti... One MQInterpreter commit broke regtest.ml. Fixed.
2004-02-26 Claudio Sacerdoti... Optimization: since an invariant says that the inferred...
2004-02-26 Claudio Sacerdoti... ...
2004-02-26 Claudio Sacerdoti... eqT removed.
2004-02-25 Claudio Sacerdoti... Variable redefined. Fixed.
2004-02-24 Stefano Zacchiroliadded mathitaGui.mli
2004-02-24 Stefano Zacchirolisnapshot
2004-02-24 Stefano Zacchiroliadded functions and uris for binary {positive,integer}
2004-02-24 Stefano Zacchiroliadded binary {positive,integer} notation
2004-02-24 Claudio Sacerdoti... New v8.0 URIs.
2004-02-24 Claudio Sacerdoti... More uris ported to V8.0.
2004-02-24 Claudio Sacerdoti... More V8.0 uris.
2004-02-24 Claudio Sacerdoti... More v8.0 URIs.
2004-02-24 Claudio Sacerdoti... Porting URIs to V8.0.
2004-02-24 Claudio Sacerdoti... Partial porting to V8 URIs.
2004-02-24 Claudio Sacerdoti... Porting to MySql.
2004-02-24 Claudio Sacerdoti... MySQL is case sensitive.
2004-02-24 Claudio Sacerdoti... Quick patch to make everything work with MySql.
2004-02-24 Stefano Zacchiroli- added support for boolean parameters
2004-02-24 Claudio Sacerdoti... ...
2004-02-24 Claudio Sacerdoti... - Targets reorganized
2004-02-24 Claudio Sacerdoti... Added parameter format=text|xml to getalluris.
2004-02-23 Claudio Sacerdoti... A lazy value was put in place of a function ==> the...
2004-02-23 Claudio Sacerdoti... "add_server?position=0" no longer worked (raised an...
2004-02-23 Claudio Sacerdoti... No longer in use.
2004-02-23 Claudio Sacerdoti... Script to create and drop tables and indexes committed.
2004-02-23 Stefano Zacchiroliadded a space between term and "using" keyword
2004-02-23 Stefano Zacchirolicommented out a debugging message
2004-02-23 Stefano Zacchirolibugfix in "elim ... using" tactical ("using" is a keyword)
2004-02-23 Stefano Zacchiroliadded a lot of notation: arithmetic operators, relation...
2004-02-23 Stefano ZacchiroliRinv typo fix
2004-02-23 Claudio Sacerdoti... -memory leaks fixed
2004-02-23 Claudio Sacerdoti... The metadata extractor now generates also
2004-02-23 Claudio Sacerdoti... New framework for metadata generation.
2004-02-23 Claudio Sacerdoti... (Very)* Old stuff removed.
2004-02-23 Claudio Sacerdoti... Bug fix: the generated XML for DCs was not well-formed.
2004-02-23 Claudio Sacerdoti... kind=dc implemented.
2004-02-23 Stefano Zacchirolisupport optional keys in configuration file
2004-02-23 Stefano Zacchiroliremoved password entry, now uses "helm" user (read...
2004-02-21 Luca Padovani* update for 0.0.5
2004-02-21 Luca Padovani* cleanup
2004-02-21 Luca Padovani* fix so that ocamlmklib works
2004-02-21 Luca Padovani* removed debian dir from EXTRA_DIST var
2004-02-21 Luca Padovani* using non-diffing mathml factory
2004-02-21 Luca Padovani* updated the updating method so that the root element...
2004-02-21 Luca Padovani* added wrapper element around processed document
2004-02-21 Luca Padovani* fixed profiling flags
2004-02-20 Claudio Sacerdoti... ...
2004-02-20 Stefano Zacchirolifirst check in of mathita gui
2004-02-20 Stefano Zacchirolibugfix: "in" is an IDENT, not a keyword
2004-02-20 Claudio Sacerdoti... Quick patch to use rdfly (URL hard-coded everywhere).
2004-02-20 Ferruccio Guidihard-coded timing of generated queries disabled: use...
2004-02-20 Claudio Sacerdoti... Ported to
2004-02-20 Ferruccio Guidi- mathql interpreter flags reorganized
2004-02-20 Claudio Sacerdoti... A brand new daemon: rdfly.
2004-02-19 Ferruccio Guidisource logging patched
2004-02-19 Ferruccio Guidinew mathql interpreterr flag V
2004-02-19 Ferruccio Guidisource logging is now native in the interpreter
2004-02-19 Ferruccio Guidisource logging enabled by default
2004-02-19 Andrea AspertiAdding tacticAst2Box (pretty printer for tactical,...
2004-02-19 Andrea AspertiMinor modification in test_parser (to use the new prett...
2004-02-18 Claudio Sacerdoti... ...
2004-02-18 Ferruccio Guidimathql interpreter flags can be now red from helm registry
2004-02-18 Claudio Sacerdoti... ...
2004-02-18 Claudio Sacerdoti... uwobo ==> uwobo.opt
2004-02-18 Claudio Sacerdoti... ...
2004-02-18 Claudio Sacerdoti... Stuff moved around.
2004-02-18 Claudio Sacerdoti... ENVSCRIPT and mathql_db_map.txt no longer in use.
2004-02-18 Claudio Sacerdoti... Removed stuff no longer in use.
2004-02-18 Claudio Sacerdoti... helm_registry is already in due to transitive dependencies
2004-02-18 Claudio Sacerdoti... The order IS significative. Changing the order (in...
2004-02-18 Claudio Sacerdoti... typo fixed. Used to break the ls method.
2004-02-18 Stefano Zacchiroli- better error message on "unknown identifier"
2004-02-18 Stefano Zacchirolifixed cosmetic typos during pretty printing
2004-02-18 Stefano Zacchiroli- bugfix in term grammar: lowered precedence level...
2004-02-18 Stefano Zacchirolicatch parse error exception and show them to the user...
2004-02-18 Ferruccio Guidipatched
2004-02-18 Ferruccio GuidibatchParser and regtest patched to avoid a non encapsul...
2004-02-18 Claudio Sacerdoti... Bug fixed: Helm_registry was used not enough lazily...
2004-02-17 Stefano Zacchiroliadded copyright info
2004-02-17 Stefano Zacchiroliremoved useless Mpresentation module
2004-02-17 Stefano Zacchirolimoved away tactics and tacticals
2004-02-17 Stefano Zacchiroliadded tactics and tacticals (heavily bugged)
2004-02-17 Stefano Zacchiroliadded hook for .cma link time options
2004-02-17 Stefano Zacchiroliadded tactic and tactical (still heavily bugged!!!)
2004-02-17 Claudio Sacerdoti... 68080 (that overflows ; -) ==> 38080
2004-02-17 Stefano Zacchirolifixed typo
2004-02-17 Claudio Sacerdoti... New key postgresql_connection_string.
next