projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2004-02-20 Ferruccio Guidi- mathql interpreter flags reorganized commit | commitdiff | tree | snapshot
2004-02-20 Claudio Sacerdoti... A brand new daemon: rdfly. commit | commitdiff | tree | snapshot
2004-02-19 Ferruccio Guidisource logging patched commit | commitdiff | tree | snapshot
2004-02-19 Ferruccio Guidinew mathql interpreterr flag V commit | commitdiff | tree | snapshot
2004-02-19 Ferruccio Guidisource logging is now native in the interpreter commit | commitdiff | tree | snapshot
2004-02-19 Ferruccio Guidisource logging enabled by default commit | commitdiff | tree | snapshot
2004-02-19 Andrea AspertiAdding tacticAst2Box (pretty printer for tactical,... commit | commitdiff | tree | snapshot
2004-02-19 Andrea AspertiMinor modification in test_parser (to use the new prett... commit | commitdiff | tree | snapshot
2004-02-18 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2004-02-18 Ferruccio Guidimathql interpreter flags can be now red from helm registry commit | commitdiff | tree | snapshot
2004-02-18 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2004-02-18 Claudio Sacerdoti... uwobo ==> uwobo.opt commit | commitdiff | tree | snapshot
2004-02-18 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2004-02-18 Claudio Sacerdoti... Stuff moved around. commit | commitdiff | tree | snapshot
2004-02-18 Claudio Sacerdoti... ENVSCRIPT and mathql_db_map.txt no longer in use. commit | commitdiff | tree | snapshot
2004-02-18 Claudio Sacerdoti... Removed stuff no longer in use. commit | commitdiff | tree | snapshot
2004-02-18 Claudio Sacerdoti... helm_registry is already in due to transitive dependencies commit | commitdiff | tree | snapshot
2004-02-18 Claudio Sacerdoti... The order IS significative. Changing the order (in... commit | commitdiff | tree | snapshot
2004-02-18 Claudio Sacerdoti... typo fixed. Used to break the ls method. commit | commitdiff | tree | snapshot
2004-02-18 Stefano Zacchiroli- better error message on "unknown identifier" commit | commitdiff | tree | snapshot
2004-02-18 Stefano Zacchirolifixed cosmetic typos during pretty printing commit | commitdiff | tree | snapshot
2004-02-18 Stefano Zacchiroli- bugfix in term grammar: lowered precedence level... commit | commitdiff | tree | snapshot
2004-02-18 Stefano Zacchirolicatch parse error exception and show them to the user... commit | commitdiff | tree | snapshot
2004-02-18 Ferruccio Guidipatched commit | commitdiff | tree | snapshot
2004-02-18 Ferruccio GuidibatchParser and regtest patched to avoid a non encapsul... commit | commitdiff | tree | snapshot
2004-02-18 Claudio Sacerdoti... Bug fixed: Helm_registry was used not enough lazily... commit | commitdiff | tree | snapshot
2004-02-17 Stefano Zacchiroliadded copyright info commit | commitdiff | tree | snapshot
2004-02-17 Stefano Zacchiroliremoved useless Mpresentation module commit | commitdiff | tree | snapshot
2004-02-17 Stefano Zacchirolimoved away tactics and tacticals commit | commitdiff | tree | snapshot
2004-02-17 Stefano Zacchiroliadded tactics and tacticals (heavily bugged) commit | commitdiff | tree | snapshot
2004-02-17 Stefano Zacchiroliadded hook for .cma link time options commit | commitdiff | tree | snapshot
2004-02-17 Stefano Zacchiroliadded tactic and tactical (still heavily bugged!!!) commit | commitdiff | tree | snapshot
2004-02-17 Claudio Sacerdoti... 68080 (that overflows ; -) ==> 38080 commit | commitdiff | tree | snapshot
2004-02-17 Stefano Zacchirolifixed typo commit | commitdiff | tree | snapshot
2004-02-17 Claudio Sacerdoti... New key postgresql_connection_string. commit | commitdiff | tree | snapshot
2004-02-17 Stefano Zacchiroliremoved (now useless) connection string line commit | commitdiff | tree | snapshot
2004-02-17 Claudio Sacerdoti... New key mathql_interpreter.postgresql_connection_string. commit | commitdiff | tree | snapshot
2004-02-17 Claudio Sacerdoti... The PostgreSQL connection string has been moved to... commit | commitdiff | tree | snapshot
2004-02-17 Claudio Sacerdoti... Other stuff no longer used removed. commit | commitdiff | tree | snapshot
2004-02-17 Claudio Sacerdoti... Several no longer used variables removed. commit | commitdiff | tree | snapshot
2004-02-17 Claudio Sacerdoti... Porting of applyStylesheets.ml to Helm_registry. commit | commitdiff | tree | snapshot
2004-02-17 Claudio Sacerdoti... Reindentation. commit | commitdiff | tree | snapshot
2004-02-17 Claudio Sacerdoti... mathql_db_map.txt now retrieved by Helm_registry. commit | commitdiff | tree | snapshot
2004-02-17 Claudio Sacerdoti... mathql_db_map.txt is now retrieved by Helm_registry. commit | commitdiff | tree | snapshot
2004-02-17 Claudio Sacerdoti... -linkall removed commit | commitdiff | tree | snapshot
2004-02-17 Claudio Sacerdoti... - ported to Helm_registry commit | commitdiff | tree | snapshot
2004-02-17 Claudio Sacerdoti... searchEngine ported to Helm_registry. commit | commitdiff | tree | snapshot
2004-02-17 Stefano Zacchirolifixed typo commit | commitdiff | tree | snapshot
2004-02-17 Claudio Sacerdoti... All daemons are now run in their .opt version. commit | commitdiff | tree | snapshot
2004-02-17 Claudio Sacerdoti... Any residual reference to tomcat and servlets changed... commit | commitdiff | tree | snapshot
2004-02-17 Claudio Sacerdoti... - double_type_of: sort_of_prod modified to expect also... commit | commitdiff | tree | snapshot
2004-02-17 Claudio Sacerdoti... triciclo.conf.xml ==> gTopLevel.conf.xml commit | commitdiff | tree | snapshot
2004-02-16 Claudio Sacerdoti... More daemons ported to Helm_registry. commit | commitdiff | tree | snapshot
2004-02-16 Claudio Sacerdoti... drawGraph ported to Helm_registry. commit | commitdiff | tree | snapshot
2004-02-16 Claudio Sacerdoti... Porting of uriSetQueue to Helm_registry. commit | commitdiff | tree | snapshot
2004-02-16 Claudio Sacerdoti... proofChecker ported to Helm_registry commit | commitdiff | tree | snapshot
2004-02-16 Claudio Sacerdoti... - Ported to latest version of Helm_registry commit | commitdiff | tree | snapshot
2004-02-16 Claudio Sacerdoti... - Uwobo ported to Helm_registry commit | commitdiff | tree | snapshot
2004-02-16 Claudio Sacerdoti... Cached moved to /tmp/helm/cache. commit | commitdiff | tree | snapshot
2004-02-16 Claudio Sacerdoti... Ported to Helm_registry. commit | commitdiff | tree | snapshot
2004-02-16 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2004-02-16 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2004-02-16 Stefano Zacchirolibugfix: top level keys now should work commit | commitdiff | tree | snapshot
2004-02-16 Claudio Sacerdoti... - Configuration file moved to /projects/helm/etc. commit | commitdiff | tree | snapshot
2004-02-16 Claudio Sacerdoti... - triciclo.conf.xml.sample ported to the latest version... commit | commitdiff | tree | snapshot
2004-02-16 Stefano Zacchiroli- more structured configuration file commit | commitdiff | tree | snapshot
2004-02-16 Stefano Zacchirolitypo fixed (unbalanced parens) commit | commitdiff | tree | snapshot
2004-02-16 Stefano Zacchiroliadded ocamlinit target which creates a .ocamlinit file commit | commitdiff | tree | snapshot
2004-02-16 Stefano Zacchirolisolved a precedence issue between binders and arrows commit | commitdiff | tree | snapshot
2004-02-16 Stefano Zacchirolido not use tex notation per default (used only by tex... commit | commitdiff | tree | snapshot
2004-02-16 Stefano Zacchiroliuse BoxPp commit | commitdiff | tree | snapshot
2004-02-16 Stefano Zacchiroli- added arrow notation commit | commitdiff | tree | snapshot
2004-02-13 Ferruccio Guidipatched commit | commitdiff | tree | snapshot
2004-02-13 Stefano Zacchiroliinductive type ident optional in mutcase commit | commitdiff | tree | snapshot
2004-02-13 Stefano Zacchiroliadded regtest for optional inductive type on mutcase commit | commitdiff | tree | snapshot
2004-02-13 Stefano Zacchirolis/pcre/str/ commit | commitdiff | tree | snapshot
2004-02-13 Andrea Aspertinew (box based) pretty printer commit | commitdiff | tree | snapshot
2004-02-13 Stefano Zacchirolisplit configure.ac in two parts: ocaml and gTopLevel commit | commitdiff | tree | snapshot
2004-02-13 Stefano Zacchiroliadded sample configuration file commit | commitdiff | tree | snapshot
2004-02-13 Stefano Zacchiroli- added support for variable interpolation commit | commitdiff | tree | snapshot
2004-02-12 Ferruccio Guidipatched for *.cmx commit | commitdiff | tree | snapshot
2004-02-12 Ferruccio Guidinew .depend files commit | commitdiff | tree | snapshot
2004-02-12 Stefano Zacchiroliremoved some anciente debugging messages commit | commitdiff | tree | snapshot
2004-02-12 Claudio Sacerdoti... libraries-complete.ps: commit | commitdiff | tree | snapshot
2004-02-12 Claudio Sacerdoti... libraries-complete.ps: the internal libraries are now... commit | commitdiff | tree | snapshot
2004-02-12 Claudio Sacerdoti... Added new target libraries-complete.ps (with also all... commit | commitdiff | tree | snapshot
2004-02-11 Claudio Sacerdoti... Example configuration committed. commit | commitdiff | tree | snapshot
2004-02-11 Claudio Sacerdoti... Ported to Http_registry and to HelmLogger. commit | commitdiff | tree | snapshot
2004-02-11 Stefano Zacchiroligetter's revolution (now uses backend in ocaml/getter) commit | commitdiff | tree | snapshot
2004-02-11 Claudio Sacerdoti... Ported to Helm_registry. commit | commitdiff | tree | snapshot
2004-02-11 Stefano Zacchirolibugfix: auto_disambiguation is not considered for searc... commit | commitdiff | tree | snapshot
2004-02-11 Claudio Sacerdoti... - script.sh removed from CVS. script.sh.sample added... commit | commitdiff | tree | snapshot
2004-02-11 Stefano Zacchirolifixed typo commit | commitdiff | tree | snapshot
2004-02-11 Stefano Zacchirolinew logger commit | commitdiff | tree | snapshot
2004-02-11 Stefano Zacchirolinew getter, logger, and the hell commit | commitdiff | tree | snapshot
2004-02-11 Stefano Zacchirolinew logger, getter, and the hell commit | commitdiff | tree | snapshot
2004-02-11 Stefano Zacchirolisupport for subst commit | commitdiff | tree | snapshot
2004-02-11 Stefano Zacchirolinew metas (getter's backend, registry, logger, and... commit | commitdiff | tree | snapshot
2004-02-11 Stefano Zacchiroliported to new getter (backend) commit | commitdiff | tree | snapshot
2004-02-11 Stefano Zacchiroliported to helm registry commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.