]> matita.cs.unibo.it Git - helm.git/log
helm.git
20 years agoScript to create and drop tables and indexes committed.
Claudio Sacerdoti Coen [Mon, 23 Feb 2004 16:29:14 +0000 (16:29 +0000)]
Script to create and drop tables and indexes committed.
New targets added to the Makefile.

20 years agoadded a space between term and "using" keyword
Stefano Zacchiroli [Mon, 23 Feb 2004 16:04:41 +0000 (16:04 +0000)]
added a space between term and "using" keyword

20 years agocommented out a debugging message
Stefano Zacchiroli [Mon, 23 Feb 2004 16:04:24 +0000 (16:04 +0000)]
commented out a debugging message

20 years agobugfix in "elim ... using" tactical ("using" is a keyword)
Stefano Zacchiroli [Mon, 23 Feb 2004 16:02:36 +0000 (16:02 +0000)]
bugfix in "elim ... using" tactical ("using" is a keyword)

20 years agoadded a lot of notation: arithmetic operators, relational operators, ...
Stefano Zacchiroli [Mon, 23 Feb 2004 15:56:35 +0000 (15:56 +0000)]
added a lot of notation: arithmetic operators, relational operators, ...

20 years agoRinv typo fix
Stefano Zacchiroli [Mon, 23 Feb 2004 15:56:10 +0000 (15:56 +0000)]
Rinv typo fix

20 years ago-memory leaks fixed
Claudio Sacerdoti Coen [Mon, 23 Feb 2004 14:11:16 +0000 (14:11 +0000)]
-memory leaks fixed
- INSERT INTO objectName .... was not quoted correctly

20 years agoThe metadata extractor now generates also
Claudio Sacerdoti Coen [Mon, 23 Feb 2004 14:03:49 +0000 (14:03 +0000)]
The metadata extractor now generates also
"INSERT INTO objectName ..."

20 years agoNew framework for metadata generation.
Claudio Sacerdoti Coen [Mon, 23 Feb 2004 13:12:40 +0000 (13:12 +0000)]
New framework for metadata generation.

NOTE: from this release on the metadata are inserted into a MySQL DB.

20 years ago(Very)* Old stuff removed.
Claudio Sacerdoti Coen [Mon, 23 Feb 2004 12:59:35 +0000 (12:59 +0000)]
(Very)* Old stuff removed.

20 years agoBug fix: the generated XML for DCs was not well-formed.
Claudio Sacerdoti Coen [Mon, 23 Feb 2004 12:50:57 +0000 (12:50 +0000)]
Bug fix: the generated XML for DCs was not well-formed.

20 years agokind=dc implemented.
Claudio Sacerdoti Coen [Mon, 23 Feb 2004 12:42:04 +0000 (12:42 +0000)]
kind=dc implemented.

20 years agosupport optional keys in configuration file
Stefano Zacchiroli [Mon, 23 Feb 2004 10:27:44 +0000 (10:27 +0000)]
support optional keys in configuration file

20 years agoremoved password entry, now uses "helm" user (read-only access is
Stefano Zacchiroli [Mon, 23 Feb 2004 10:27:27 +0000 (10:27 +0000)]
removed password entry, now uses "helm" user (read-only access is
enough for rdfly)

20 years ago* update for 0.0.5
Luca Padovani [Sat, 21 Feb 2004 18:51:25 +0000 (18:51 +0000)]
* update for 0.0.5

20 years ago* cleanup
Luca Padovani [Sat, 21 Feb 2004 18:48:38 +0000 (18:48 +0000)]
* cleanup

20 years ago* fix so that ocamlmklib works
Luca Padovani [Sat, 21 Feb 2004 18:47:50 +0000 (18:47 +0000)]
* fix so that ocamlmklib works

20 years ago* removed debian dir from EXTRA_DIST var
Luca Padovani [Sat, 21 Feb 2004 10:00:02 +0000 (10:00 +0000)]
* removed debian dir from EXTRA_DIST var

20 years ago* using non-diffing mathml factory
Luca Padovani [Sat, 21 Feb 2004 09:59:26 +0000 (09:59 +0000)]
* using non-diffing mathml factory
* removed methods no longer implemented in gtkmathview from interface

20 years ago* updated the updating method so that the root element is not changed
Luca Padovani [Sat, 21 Feb 2004 09:58:05 +0000 (09:58 +0000)]
* updated the updating method so that the root element is not changed
  (removes the listeners in the new editor)

20 years ago* added wrapper element around processed document
Luca Padovani [Sat, 21 Feb 2004 09:52:56 +0000 (09:52 +0000)]
* added wrapper element around processed document

20 years ago* fixed profiling flags
Luca Padovani [Sat, 21 Feb 2004 09:52:24 +0000 (09:52 +0000)]
* fixed profiling flags

20 years ago...
Claudio Sacerdoti Coen [Fri, 20 Feb 2004 18:25:59 +0000 (18:25 +0000)]
...

20 years agofirst check in of mathita gui
Stefano Zacchiroli [Fri, 20 Feb 2004 18:03:21 +0000 (18:03 +0000)]
first check in of mathita gui

20 years agobugfix: "in" is an IDENT, not a keyword
Stefano Zacchiroli [Fri, 20 Feb 2004 18:00:54 +0000 (18:00 +0000)]
bugfix: "in" is an IDENT, not a keyword

20 years agoQuick patch to use rdfly (URL hard-coded everywhere).
Claudio Sacerdoti Coen [Fri, 20 Feb 2004 17:44:26 +0000 (17:44 +0000)]
Quick patch to use rdfly (URL hard-coded everywhere).

20 years agohard-coded timing of generated queries disabled: use T interpreter flag instead.
Ferruccio Guidi [Fri, 20 Feb 2004 17:12:56 +0000 (17:12 +0000)]
hard-coded timing of generated queries disabled: use T interpreter flag instead.

20 years agoPorted to
Claudio Sacerdoti Coen [Fri, 20 Feb 2004 16:47:21 +0000 (16:47 +0000)]
Ported to
 - Helm_registry
 - Mysql

20 years ago- mathql interpreter flags reorganized
Ferruccio Guidi [Fri, 20 Feb 2004 16:31:07 +0000 (16:31 +0000)]
- mathql interpreter flags reorganized
- logging function in NQIConn.init is now optional: default is ignore

20 years agoA brand new daemon: rdfly.
Claudio Sacerdoti Coen [Fri, 20 Feb 2004 14:55:53 +0000 (14:55 +0000)]
A brand new daemon: rdfly.

20 years agosource logging patched
Ferruccio Guidi [Thu, 19 Feb 2004 15:49:01 +0000 (15:49 +0000)]
source logging patched

20 years agonew mathql interpreterr flag V
Ferruccio Guidi [Thu, 19 Feb 2004 15:28:43 +0000 (15:28 +0000)]
new mathql interpreterr flag V

20 years agosource logging is now native in the interpreter
Ferruccio Guidi [Thu, 19 Feb 2004 15:18:52 +0000 (15:18 +0000)]
source logging is now native in the interpreter

20 years agosource logging enabled by default
Ferruccio Guidi [Thu, 19 Feb 2004 14:34:15 +0000 (14:34 +0000)]
source logging enabled by default

20 years agoAdding tacticAst2Box (pretty printer for tactical, preliminary version).
Andrea Asperti [Thu, 19 Feb 2004 08:32:56 +0000 (08:32 +0000)]
Adding tacticAst2Box (pretty printer for tactical, preliminary version).

20 years agoMinor modification in test_parser (to use the new pretty printer for
Andrea Asperti [Thu, 19 Feb 2004 08:27:20 +0000 (08:27 +0000)]
Minor modification in test_parser (to use the new pretty printer for
tacticals).

20 years ago...
Claudio Sacerdoti Coen [Wed, 18 Feb 2004 18:14:58 +0000 (18:14 +0000)]
...

20 years agomathql interpreter flags can be now red from helm registry
Ferruccio Guidi [Wed, 18 Feb 2004 17:52:54 +0000 (17:52 +0000)]
mathql interpreter flags can be now red from helm registry

20 years ago...
Claudio Sacerdoti Coen [Wed, 18 Feb 2004 17:13:03 +0000 (17:13 +0000)]
...

20 years agouwobo ==> uwobo.opt
Claudio Sacerdoti Coen [Wed, 18 Feb 2004 16:42:34 +0000 (16:42 +0000)]
uwobo ==> uwobo.opt

20 years ago...
Claudio Sacerdoti Coen [Wed, 18 Feb 2004 16:40:36 +0000 (16:40 +0000)]
...

20 years agoStuff moved around.
Claudio Sacerdoti Coen [Wed, 18 Feb 2004 16:37:31 +0000 (16:37 +0000)]
Stuff moved around.

20 years agoENVSCRIPT and mathql_db_map.txt no longer in use.
Claudio Sacerdoti Coen [Wed, 18 Feb 2004 16:26:35 +0000 (16:26 +0000)]
ENVSCRIPT and mathql_db_map.txt no longer in use.

20 years agoRemoved stuff no longer in use.
Claudio Sacerdoti Coen [Wed, 18 Feb 2004 16:11:27 +0000 (16:11 +0000)]
Removed stuff no longer in use.

20 years agohelm_registry is already in due to transitive dependencies
Claudio Sacerdoti Coen [Wed, 18 Feb 2004 15:47:23 +0000 (15:47 +0000)]
helm_registry is already in due to transitive dependencies

20 years agoThe order IS significative. Changing the order (in one of the last commits)
Claudio Sacerdoti Coen [Wed, 18 Feb 2004 15:41:35 +0000 (15:41 +0000)]
The order IS significative. Changing the order (in one of the last commits)
broke the ls method.

20 years agotypo fixed. Used to break the ls method.
Claudio Sacerdoti Coen [Wed, 18 Feb 2004 15:41:06 +0000 (15:41 +0000)]
typo fixed. Used to break the ls method.

20 years ago- better error message on "unknown identifier"
Stefano Zacchiroli [Wed, 18 Feb 2004 14:25:35 +0000 (14:25 +0000)]
- better error message on "unknown identifier"
- use newer (Andrea and Luca)'s box-based-pretty-printer

20 years agofixed cosmetic typos during pretty printing
Stefano Zacchiroli [Wed, 18 Feb 2004 14:24:11 +0000 (14:24 +0000)]
fixed cosmetic typos during pretty printing

20 years ago- bugfix in term grammar: lowered precedence level of "let ... in" so
Stefano Zacchiroli [Wed, 18 Feb 2004 14:22:49 +0000 (14:22 +0000)]
- bugfix in term grammar: lowered precedence level of "let ... in" so
  that "let x = 1 in x + 2" works as expected
- decent grammar for tactics and tacticals: now with precedence levels
  (no more stackoverflows, hopefully)

20 years agocatch parse error exception and show them to the user during main loop
Stefano Zacchiroli [Wed, 18 Feb 2004 14:21:27 +0000 (14:21 +0000)]
catch parse error exception and show them to the user during main loop

20 years agopatched
Ferruccio Guidi [Wed, 18 Feb 2004 13:10:17 +0000 (13:10 +0000)]
patched

20 years agobatchParser and regtest patched to avoid a non encapsulated connection to the mathql...
Ferruccio Guidi [Wed, 18 Feb 2004 11:33:13 +0000 (11:33 +0000)]
batchParser and regtest patched to avoid a non encapsulated connection to the mathql interpreter

20 years agoBug fixed: Helm_registry was used not enough lazily (i.e. before loading
Claudio Sacerdoti Coen [Wed, 18 Feb 2004 10:00:15 +0000 (10:00 +0000)]
Bug fixed: Helm_registry was used not enough lazily (i.e. before loading
the configuration).

20 years agoadded copyright info
Stefano Zacchiroli [Tue, 17 Feb 2004 23:59:07 +0000 (23:59 +0000)]
added copyright info

20 years agoremoved useless Mpresentation module
Stefano Zacchiroli [Tue, 17 Feb 2004 23:58:30 +0000 (23:58 +0000)]
removed useless Mpresentation module

20 years agomoved away tactics and tacticals
Stefano Zacchiroli [Tue, 17 Feb 2004 23:58:08 +0000 (23:58 +0000)]
moved away tactics and tacticals

20 years agoadded tactics and tacticals (heavily bugged)
Stefano Zacchiroli [Tue, 17 Feb 2004 23:57:44 +0000 (23:57 +0000)]
added tactics and tacticals (heavily bugged)

20 years agoadded hook for .cma link time options
Stefano Zacchiroli [Tue, 17 Feb 2004 23:56:54 +0000 (23:56 +0000)]
added hook for .cma link time options

20 years agoadded tactic and tactical (still heavily bugged!!!)
Stefano Zacchiroli [Tue, 17 Feb 2004 23:56:28 +0000 (23:56 +0000)]
added tactic and tactical (still heavily bugged!!!)

20 years ago68080 (that overflows ; -) ==> 38080
Claudio Sacerdoti Coen [Tue, 17 Feb 2004 18:13:20 +0000 (18:13 +0000)]
68080 (that overflows ; -) ==> 38080

20 years agofixed typo
Stefano Zacchiroli [Tue, 17 Feb 2004 18:12:38 +0000 (18:12 +0000)]
fixed typo

20 years agoNew key postgresql_connection_string.
Claudio Sacerdoti Coen [Tue, 17 Feb 2004 18:11:57 +0000 (18:11 +0000)]
New key postgresql_connection_string.

20 years agoremoved (now useless) connection string line
Stefano Zacchiroli [Tue, 17 Feb 2004 18:10:58 +0000 (18:10 +0000)]
removed (now useless) connection string line

20 years agoNew key mathql_interpreter.postgresql_connection_string.
Claudio Sacerdoti Coen [Tue, 17 Feb 2004 18:02:55 +0000 (18:02 +0000)]
New key mathql_interpreter.postgresql_connection_string.

20 years agoThe PostgreSQL connection string has been moved to the Helm_registry
Claudio Sacerdoti Coen [Tue, 17 Feb 2004 17:58:42 +0000 (17:58 +0000)]
The PostgreSQL connection string has been moved to the Helm_registry
(key mathql_interpreter.postgresql_connection_string).

20 years agoOther stuff no longer used removed.
Claudio Sacerdoti Coen [Tue, 17 Feb 2004 17:50:40 +0000 (17:50 +0000)]
Other stuff no longer used removed.

20 years agoSeveral no longer used variables removed.
Claudio Sacerdoti Coen [Tue, 17 Feb 2004 17:49:06 +0000 (17:49 +0000)]
Several no longer used variables removed.

20 years agoPorting of applyStylesheets.ml to Helm_registry.
Claudio Sacerdoti Coen [Tue, 17 Feb 2004 17:41:33 +0000 (17:41 +0000)]
Porting of applyStylesheets.ml to Helm_registry.

20 years agoReindentation.
Claudio Sacerdoti Coen [Tue, 17 Feb 2004 17:38:22 +0000 (17:38 +0000)]
Reindentation.

20 years agomathql_db_map.txt now retrieved by Helm_registry.
Claudio Sacerdoti Coen [Tue, 17 Feb 2004 17:23:58 +0000 (17:23 +0000)]
mathql_db_map.txt now retrieved by Helm_registry.

20 years agomathql_db_map.txt is now retrieved by Helm_registry.
Claudio Sacerdoti Coen [Tue, 17 Feb 2004 17:20:57 +0000 (17:20 +0000)]
mathql_db_map.txt is now retrieved by Helm_registry.

20 years ago-linkall removed
Claudio Sacerdoti Coen [Tue, 17 Feb 2004 16:59:34 +0000 (16:59 +0000)]
-linkall removed

20 years ago- ported to Helm_registry
Claudio Sacerdoti Coen [Tue, 17 Feb 2004 16:33:19 +0000 (16:33 +0000)]
- ported to Helm_registry
- ported to the new disambiguating parser of Zack & Andrea

20 years agosearchEngine ported to Helm_registry.
Claudio Sacerdoti Coen [Tue, 17 Feb 2004 14:52:14 +0000 (14:52 +0000)]
searchEngine ported to Helm_registry.

20 years agofixed typo
Stefano Zacchiroli [Tue, 17 Feb 2004 12:47:21 +0000 (12:47 +0000)]
fixed typo

20 years agoAll daemons are now run in their .opt version.
Claudio Sacerdoti Coen [Tue, 17 Feb 2004 11:41:55 +0000 (11:41 +0000)]
All daemons are now run in their .opt version.

20 years agoAny residual reference to tomcat and servlets changed to references to
Claudio Sacerdoti Coen [Tue, 17 Feb 2004 11:40:05 +0000 (11:40 +0000)]
Any residual reference to tomcat and servlets changed to references to
Web-Services ;-)

20 years ago- double_type_of: sort_of_prod modified to expect also a meta
Claudio Sacerdoti Coen [Tue, 17 Feb 2004 10:48:11 +0000 (10:48 +0000)]
- double_type_of: sort_of_prod modified to expect also a meta
- cic2acic: string_of_sort badly patched to return a "?" when a meta
  is found. Note: this solution is not admissible, since it generates
  non-valid XML files (and it may also break other things).

20 years agotriciclo.conf.xml ==> gTopLevel.conf.xml
Claudio Sacerdoti Coen [Tue, 17 Feb 2004 10:47:02 +0000 (10:47 +0000)]
triciclo.conf.xml ==> gTopLevel.conf.xml

20 years agoMore daemons ported to Helm_registry.
Claudio Sacerdoti Coen [Mon, 16 Feb 2004 22:59:57 +0000 (22:59 +0000)]
More daemons ported to Helm_registry.

20 years agodrawGraph ported to Helm_registry.
Claudio Sacerdoti Coen [Mon, 16 Feb 2004 22:59:21 +0000 (22:59 +0000)]
drawGraph ported to Helm_registry.

20 years agoPorting of uriSetQueue to Helm_registry.
Claudio Sacerdoti Coen [Mon, 16 Feb 2004 22:50:06 +0000 (22:50 +0000)]
Porting of uriSetQueue to Helm_registry.

20 years agoproofChecker ported to Helm_registry
Claudio Sacerdoti Coen [Mon, 16 Feb 2004 22:11:57 +0000 (22:11 +0000)]
proofChecker ported to Helm_registry

20 years ago- Ported to latest version of Helm_registry
Claudio Sacerdoti Coen [Mon, 16 Feb 2004 22:09:01 +0000 (22:09 +0000)]
- Ported to latest version of Helm_registry

20 years ago- Uwobo ported to Helm_registry
Claudio Sacerdoti Coen [Mon, 16 Feb 2004 21:42:29 +0000 (21:42 +0000)]
- Uwobo ported to Helm_registry
- Environment variables used only by loadPredefinedStylesheets.pl moved from
  template.* to etc_default_helm_mowgli

20 years agoCached moved to /tmp/helm/cache.
Claudio Sacerdoti Coen [Mon, 16 Feb 2004 18:28:50 +0000 (18:28 +0000)]
Cached moved to /tmp/helm/cache.

20 years agoPorted to Helm_registry.
Claudio Sacerdoti Coen [Mon, 16 Feb 2004 18:16:58 +0000 (18:16 +0000)]
Ported to Helm_registry.

20 years ago...
Claudio Sacerdoti Coen [Mon, 16 Feb 2004 17:26:38 +0000 (17:26 +0000)]
...

20 years ago...
Claudio Sacerdoti Coen [Mon, 16 Feb 2004 17:24:44 +0000 (17:24 +0000)]
...

20 years agobugfix: top level keys now should work
Stefano Zacchiroli [Mon, 16 Feb 2004 17:24:14 +0000 (17:24 +0000)]
bugfix: top level keys now should work

20 years ago- Configuration file moved to /projects/helm/etc.
Claudio Sacerdoti Coen [Mon, 16 Feb 2004 17:21:30 +0000 (17:21 +0000)]
- Configuration file moved to /projects/helm/etc.
- Configuration file ported to latest version of Helm_registry.

20 years ago- triciclo.conf.xml.sample ported to the latest version of Helm_registry
Claudio Sacerdoti Coen [Mon, 16 Feb 2004 17:09:47 +0000 (17:09 +0000)]
- triciclo.conf.xml.sample ported to the latest version of Helm_registry
- annotations.{url,dir} renamed into local_library.{url,dir}

20 years ago- more structured configuration file
Stefano Zacchiroli [Mon, 16 Feb 2004 16:43:27 +0000 (16:43 +0000)]
- more structured configuration file
- commented out save_to since it's not yet implemented for the new XML format

20 years agotypo fixed (unbalanced parens)
Stefano Zacchiroli [Mon, 16 Feb 2004 10:13:47 +0000 (10:13 +0000)]
typo fixed (unbalanced parens)

20 years agoadded ocamlinit target which creates a .ocamlinit file
Stefano Zacchiroli [Mon, 16 Feb 2004 09:48:18 +0000 (09:48 +0000)]
added ocamlinit target which creates a .ocamlinit file

20 years agosolved a precedence issue between binders and arrows
Stefano Zacchiroli [Mon, 16 Feb 2004 09:44:14 +0000 (09:44 +0000)]
solved a precedence issue between binders and arrows

20 years agodo not use tex notation per default (used only by tex term editor)
Stefano Zacchiroli [Mon, 16 Feb 2004 09:43:55 +0000 (09:43 +0000)]
do not use tex notation per default (used only by tex term editor)

20 years agouse BoxPp
Stefano Zacchiroli [Mon, 16 Feb 2004 09:43:25 +0000 (09:43 +0000)]
use BoxPp

20 years ago- added arrow notation
Stefano Zacchiroli [Mon, 16 Feb 2004 09:42:44 +0000 (09:42 +0000)]
- added arrow notation
- typo fixed ("Pi" vs "pi")