]> matita.cs.unibo.it Git - helm.git/history - helm
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Variable redefined. Fixed.
[helm.git] / helm /
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
2004-02-18 Ferruccio Guidimathql interpreter flags can be now red from helm registry tree | commitdiff
2004-02-18 Claudio Sacerdoti... ... tree | commitdiff
2004-02-18 Claudio Sacerdoti... uwobo ==> uwobo.opt tree | commitdiff
2004-02-18 Claudio Sacerdoti... ... tree | commitdiff
2004-02-18 Claudio Sacerdoti... Stuff moved around. tree | commitdiff
2004-02-18 Claudio Sacerdoti... ENVSCRIPT and mathql_db_map.txt no longer in use. tree | commitdiff
2004-02-18 Claudio Sacerdoti... Removed stuff no longer in use. tree | commitdiff
2004-02-18 Claudio Sacerdoti... helm_registry is already in due to transitive dependencies tree | commitdiff
2004-02-18 Claudio Sacerdoti... The order IS significative. Changing the order (in... tree | commitdiff
2004-02-18 Claudio Sacerdoti... typo fixed. Used to break the ls method. tree | commitdiff
2004-02-18 Stefano Zacchiroli- better error message on "unknown identifier" tree | commitdiff
2004-02-18 Stefano Zacchirolifixed cosmetic typos during pretty printing tree | commitdiff
2004-02-18 Stefano Zacchiroli- bugfix in term grammar: lowered precedence level... tree | commitdiff
2004-02-18 Stefano Zacchirolicatch parse error exception and show them to the user... tree | commitdiff
2004-02-18 Ferruccio Guidipatched tree | commitdiff
2004-02-18 Ferruccio GuidibatchParser and regtest patched to avoid a non encapsul... tree | commitdiff
2004-02-18 Claudio Sacerdoti... Bug fixed: Helm_registry was used not enough lazily... tree | commitdiff
2004-02-17 Stefano Zacchiroliadded copyright info tree | commitdiff
2004-02-17 Stefano Zacchiroliremoved useless Mpresentation module tree | commitdiff
2004-02-17 Stefano Zacchirolimoved away tactics and tacticals tree | commitdiff
2004-02-17 Stefano Zacchiroliadded tactics and tacticals (heavily bugged) tree | commitdiff
2004-02-17 Stefano Zacchiroliadded hook for .cma link time options tree | commitdiff
2004-02-17 Stefano Zacchiroliadded tactic and tactical (still heavily bugged!!!) tree | commitdiff
2004-02-17 Claudio Sacerdoti... 68080 (that overflows ; -) ==> 38080 tree | commitdiff
2004-02-17 Stefano Zacchirolifixed typo tree | commitdiff
2004-02-17 Claudio Sacerdoti... New key postgresql_connection_string. tree | commitdiff
2004-02-17 Stefano Zacchiroliremoved (now useless) connection string line tree | commitdiff
2004-02-17 Claudio Sacerdoti... New key mathql_interpreter.postgresql_connection_string. tree | commitdiff
2004-02-17 Claudio Sacerdoti... The PostgreSQL connection string has been moved to... tree | commitdiff
2004-02-17 Claudio Sacerdoti... Other stuff no longer used removed. tree | commitdiff
2004-02-17 Claudio Sacerdoti... Several no longer used variables removed. tree | commitdiff
2004-02-17 Claudio Sacerdoti... Porting of applyStylesheets.ml to Helm_registry. tree | commitdiff
2004-02-17 Claudio Sacerdoti... Reindentation. tree | commitdiff
2004-02-17 Claudio Sacerdoti... mathql_db_map.txt now retrieved by Helm_registry. tree | commitdiff
2004-02-17 Claudio Sacerdoti... mathql_db_map.txt is now retrieved by Helm_registry. tree | commitdiff
2004-02-17 Claudio Sacerdoti... -linkall removed tree | commitdiff
2004-02-17 Claudio Sacerdoti... - ported to Helm_registry tree | commitdiff
2004-02-17 Claudio Sacerdoti... searchEngine ported to Helm_registry. tree | commitdiff
2004-02-17 Stefano Zacchirolifixed typo tree | commitdiff
2004-02-17 Claudio Sacerdoti... All daemons are now run in their .opt version. tree | commitdiff
2004-02-17 Claudio Sacerdoti... Any residual reference to tomcat and servlets changed... tree | commitdiff
2004-02-17 Claudio Sacerdoti... - double_type_of: sort_of_prod modified to expect also... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.