]> matita.cs.unibo.it Git - helm.git/search
projects / helm.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
- provastruct.theory.xml removed (what was that exactly?)
2004-03-30 Claudio Sacerdoti... - provastruct.theory.xml removed (what was that exactly?)
 commit | commitdiff | tree
2004-03-26 Claudio Sacerdoti... Algebra => CoRN
 commit | commitdiff | tree
2004-03-26 Claudio Sacerdoti... tex notation enabled
 commit | commitdiff | tree
2004-03-22 Claudio Sacerdoti... load_document(_,NULL) => unload
 commit | commitdiff | tree
2004-03-22 Claudio Sacerdoti... - power notation
 commit | commitdiff | tree
2004-03-22 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2004-03-17 Claudio Sacerdoti... Bug fixed for theorems whose statement are like
 commit | commitdiff | tree
2004-03-10 Claudio Sacerdoti... interpretation_choices not declared
 commit | commitdiff | tree
2004-03-09 Claudio Sacerdoti... escape/unescape no longer works with '+';
 commit | commitdiff | tree
2004-03-09 Claudio Sacerdoti... Parameter forgot.
 commit | commitdiff | tree
2004-03-09 Claudio Sacerdoti... Partially ported to new disambiguating parser.
 commit | commitdiff | tree
2004-03-09 Claudio Sacerdoti... Debug code removed.
 commit | commitdiff | tree
2004-03-09 Claudio Sacerdoti... Dead code removed.
 commit | commitdiff | tree
2004-03-09 Claudio Sacerdoti... - non empty metasenv after the parsing phase are now...
commit | commitdiff | tree
2004-03-09 Claudio Sacerdoti... Bug fixed: instead of generating "not ()", I generate...
commit | commitdiff | tree
2004-03-09 Claudio Sacerdoti... Meta no longer raise a failure. Instead they return...
commit | commitdiff | tree
2004-03-08 Claudio Sacerdoti... - reindented
 commit | commitdiff | tree
2004-03-08 Claudio Sacerdoti... Disambiguation can now return more than one choice.
 commit | commitdiff | tree
2004-03-05 Claudio Sacerdoti... Quick & dirty patch to overcome a bug of ocamlfind.
 commit | commitdiff | tree
2004-03-05 Claudio Sacerdoti... Added option -timeout. Default is 5s.
 commit | commitdiff | tree
2004-03-05 Claudio Sacerdoti... \Assign and \subst to match the parser.
 commit | commitdiff | tree
2004-03-05 Claudio Sacerdoti... MutCase branches must be parsed and printed using ...
commit | commitdiff | tree
2004-03-05 Claudio Sacerdoti... Branch of MutCase must be parsed and printed using...
commit | commitdiff | tree
2004-03-05 Claudio Sacerdoti... Debugging message removed.
 commit | commitdiff | tree
2004-03-05 Claudio Sacerdoti... apply_subst did not apply the substitution to the explicit...
commit | commitdiff | tree
2004-03-05 Claudio Sacerdoti... Refine now raises only RefineFailure, AssertFailure...
commit | commitdiff | tree
2004-03-05 Claudio Sacerdoti... Wrong error message patched.
 commit | commitdiff | tree
2004-03-05 Claudio Sacerdoti... List.nth not guarded by try ... with. Fixed.
 commit | commitdiff | tree
2004-03-05 Claudio Sacerdoti... Debugging code removed.
 commit | commitdiff | tree
2004-03-05 Claudio Sacerdoti... HelmLogger logging function connected to MathQL Interpreter...
commit | commitdiff | tree
2004-03-05 Claudio Sacerdoti... Syntax of explicit named substitions syncronized with...
commit | commitdiff | tree
2004-03-02 Claudio Sacerdoti... Yet another error in the id regexp: numbers are allowed...
commit | commitdiff | tree
2004-03-02 Claudio Sacerdoti... Bug in guarded_by_destructors (case Rel to a definition...
commit | commitdiff | tree
2004-03-02 Claudio Sacerdoti... Big bug fixed: batchParser applied the varsprefix prefix...
commit | commitdiff | tree
2004-03-02 Claudio Sacerdoti... Improved output when [ MANY ] occurs.
 commit | commitdiff | tree
2004-03-02 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2004-03-02 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2004-03-02 Claudio Sacerdoti... - Improved error messaging.
 commit | commitdiff | tree
2004-03-02 Claudio Sacerdoti... The regression tests now check also the generated disambigua...
commit | commitdiff | tree
2004-03-02 Claudio Sacerdoti... Regtest fixed. It can now work also with multiple answers.
 commit | commitdiff | tree
2004-03-02 Claudio Sacerdoti... The disambiguation now returns a list of interpretations.
 commit | commitdiff | tree
2004-03-02 Claudio Sacerdoti... The disambiguation now returns a list of interpretations.
 commit | commitdiff | tree
2004-02-26 Claudio Sacerdoti... Error message fixed.
 commit | commitdiff | tree
2004-02-26 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2004-02-26 Claudio Sacerdoti... triciclo.conf.xml ==> gTopLevel.conf.xml
 commit | commitdiff | tree
2004-02-26 Claudio Sacerdoti... Added () to MQInit.init.
 commit | commitdiff | tree
2004-02-26 Claudio Sacerdoti... New implementation of eat_prods. Some residual problems...
commit | commitdiff | tree
2004-02-26 Claudio Sacerdoti... New implementation of eat_prods.
 commit | commitdiff | tree
2004-02-26 Claudio Sacerdoti... Bug fixed: names of just one character were not inserted...
commit | commitdiff | tree
2004-02-26 Claudio Sacerdoti... One MQInterpreter commit broke regtest.ml. Fixed.
 commit | commitdiff | tree
2004-02-26 Claudio Sacerdoti... Optimization: since an invariant says that the inferred...
commit | commitdiff | tree
2004-02-26 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2004-02-26 Claudio Sacerdoti... eqT removed.
 commit | commitdiff | tree
2004-02-25 Claudio Sacerdoti... Variable redefined. Fixed.
 commit | commitdiff | tree
2004-02-24 Claudio Sacerdoti... New v8.0 URIs.
 commit | commitdiff | tree
2004-02-24 Claudio Sacerdoti... More uris ported to V8.0.
 commit | commitdiff | tree
2004-02-24 Claudio Sacerdoti... More V8.0 uris.
 commit | commitdiff | tree
2004-02-24 Claudio Sacerdoti... More v8.0 URIs.
 commit | commitdiff | tree
2004-02-24 Claudio Sacerdoti... Porting URIs to V8.0.
 commit | commitdiff | tree
2004-02-24 Claudio Sacerdoti... Partial porting to V8 URIs.
 commit | commitdiff | tree
2004-02-24 Claudio Sacerdoti... Porting to MySql.
 commit | commitdiff | tree
2004-02-24 Claudio Sacerdoti... MySQL is case sensitive.
 commit | commitdiff | tree
2004-02-24 Claudio Sacerdoti... Quick patch to make everything work with MySql.
 commit | commitdiff | tree
2004-02-24 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2004-02-24 Claudio Sacerdoti... - Targets reorganized
 commit | commitdiff | tree
2004-02-24 Claudio Sacerdoti... Added parameter format=text|xml to getalluris.
 commit | commitdiff | tree
2004-02-23 Claudio Sacerdoti... A lazy value was put in place of a function ==> the...
commit | commitdiff | tree
2004-02-23 Claudio Sacerdoti... "add_server?position=0" no longer worked (raised an...
commit | commitdiff | tree
2004-02-23 Claudio Sacerdoti... No longer in use.
 commit | commitdiff | tree
2004-02-23 Claudio Sacerdoti... Script to create and drop tables and indexes committed.
 commit | commitdiff | tree
2004-02-23 Claudio Sacerdoti... -memory leaks fixed
 commit | commitdiff | tree
2004-02-23 Claudio Sacerdoti... The metadata extractor now generates also
 commit | commitdiff | tree
2004-02-23 Claudio Sacerdoti... New framework for metadata generation.
 commit | commitdiff | tree
2004-02-23 Claudio Sacerdoti... (Very)* Old stuff removed.
 commit | commitdiff | tree
2004-02-23 Claudio Sacerdoti... Bug fix: the generated XML for DCs was not well-formed.
 commit | commitdiff | tree
2004-02-23 Claudio Sacerdoti... kind=dc implemented.
 commit | commitdiff | tree
2004-02-20 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2004-02-20 Claudio Sacerdoti... Quick patch to use rdfly (URL hard-coded everywhere).
 commit | commitdiff | tree
2004-02-20 Claudio Sacerdoti... Ported to
 commit | commitdiff | tree
2004-02-20 Claudio Sacerdoti... A brand new daemon: rdfly.
 commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... uwobo ==> uwobo.opt
 commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... Stuff moved around.
 commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... ENVSCRIPT and mathql_db_map.txt no longer in use.
 commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... Removed stuff no longer in use.
 commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... helm_registry is already in due to transitive dependencies
 commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... The order IS significative. Changing the order (in...
commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... typo fixed. Used to break the ls method.
 commit | commitdiff | tree
2004-02-18 Claudio Sacerdoti... Bug fixed: Helm_registry was used not enough lazily...
commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... 68080 (that overflows ; -) ==> 38080
 commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... New key postgresql_connection_string.
 commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... New key mathql_interpreter.postgresql_connection_string.
 commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... The PostgreSQL connection string has been moved to...
commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... Other stuff no longer used removed.
 commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... Several no longer used variables removed.
 commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... Porting of applyStylesheets.ml to Helm_registry.
 commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... Reindentation.
 commit | commitdiff | tree
2004-02-17 Claudio Sacerdoti... mathql_db_map.txt now retrieved by Helm_registry.
 commit | commitdiff | tree
next
Unnamed repository; edit this file 'description' to name the repository.