]> matita.cs.unibo.it Git - helm.git/log
helm.git
21 years ago* set-based + functional semantics
Luca Padovani [Sat, 5 Apr 2003 19:21:15 +0000 (19:21 +0000)]
* set-based + functional semantics

21 years agomoved some constants from Http_daemon to Http_constants
Stefano Zacchiroli [Fri, 4 Apr 2003 14:25:22 +0000 (14:25 +0000)]
moved some constants from Http_daemon to Http_constants

21 years ago* the documents passed to the ocaml binding have been turned into strings
Luca Padovani [Fri, 4 Apr 2003 13:41:22 +0000 (13:41 +0000)]
* the documents passed to the ocaml binding have been turned into strings
  so that the relative uri resolution mechanism implemented in the
  TDictionary class can be effectively used

21 years ago* added missing / in path for default stylesheets
Luca Padovani [Fri, 4 Apr 2003 10:31:20 +0000 (10:31 +0000)]
* added missing / in path for default stylesheets

21 years ago* added .mli file for the editor
Luca Padovani [Fri, 4 Apr 2003 10:14:44 +0000 (10:14 +0000)]
* added .mli file for the editor

21 years ago- redesigned error and warning handling for libxslt
Stefano Zacchiroli [Fri, 4 Apr 2003 09:36:53 +0000 (09:36 +0000)]
- redesigned error and warning handling for libxslt
- added support for error and warning for the apply method

21 years ago* major update in regular context language definition and semantics
Luca Padovani [Thu, 3 Apr 2003 21:52:52 +0000 (21:52 +0000)]
* major update in regular context language definition and semantics

21 years agoadded debian stuff, first release
Stefano Zacchiroli [Wed, 2 Apr 2003 13:54:29 +0000 (13:54 +0000)]
added debian stuff, first release

21 years ago* added dependency on the editor
Luca Padovani [Wed, 2 Apr 2003 13:36:09 +0000 (13:36 +0000)]
* added dependency on the editor

21 years ago* added depndencies to stdc++ library
Luca Padovani [Wed, 2 Apr 2003 13:17:05 +0000 (13:17 +0000)]
* added depndencies to stdc++ library

21 years ago* added dependencies to the ocaml shared stub lib
Luca Padovani [Wed, 2 Apr 2003 12:06:00 +0000 (12:06 +0000)]
* added dependencies to the ocaml shared stub lib

21 years agoAdded the lines required to initialize and close the connection to the
Claudio Sacerdoti Coen [Wed, 2 Apr 2003 11:00:58 +0000 (11:00 +0000)]
Added the lines required to initialize and close the connection to the
database.

21 years agoBugs fixed:
Claudio Sacerdoti Coen [Wed, 2 Apr 2003 10:59:38 +0000 (10:59 +0000)]
Bugs fixed:

1. It was assumed that no CDATA nodes were put between XML elements.
   But the generated hint XML files had newlines to pretty-print the XML.
   The current fix ignores every CDATA nodes. Maybe it should just ignore the
   ones made of blancks.
2. Tree-structured hints were not parsed correctly (the coe was simply
   wrong). Trivially fixed.

Open issue: my code is full of "assert false". Should it raise exceptions
instead? I firmly think so.

21 years ago* removed
Luca Padovani [Wed, 2 Apr 2003 09:27:11 +0000 (09:27 +0000)]
* removed

21 years ago* mini-patch to dictionary
Luca Padovani [Wed, 2 Apr 2003 09:26:19 +0000 (09:26 +0000)]
* mini-patch to dictionary
* added dependencies to shared li;b

21 years agodistribute also ocaml subdirs
Stefano Zacchiroli [Wed, 2 Apr 2003 09:16:24 +0000 (09:16 +0000)]
distribute also ocaml subdirs

21 years ago- gcc 3.2 aware changes
Stefano Zacchiroli [Wed, 2 Apr 2003 09:16:04 +0000 (09:16 +0000)]
- gcc 3.2 aware changes
- made "textomml" autotools aware

21 years agomade "xsl" dir autotools-aware
Stefano Zacchiroli [Wed, 2 Apr 2003 09:15:31 +0000 (09:15 +0000)]
made "xsl" dir autotools-aware

21 years agogcc 3.2 aware changes
Stefano Zacchiroli [Wed, 2 Apr 2003 09:14:59 +0000 (09:14 +0000)]
gcc 3.2 aware changes

21 years agoC++ 3.2 aware changes
Stefano Zacchiroli [Wed, 2 Apr 2003 09:14:10 +0000 (09:14 +0000)]
C++ 3.2 aware changes

21 years agoadded config.dirs
Stefano Zacchiroli [Wed, 2 Apr 2003 09:13:53 +0000 (09:13 +0000)]
added config.dirs

21 years agomade "examples" dir autotools-aware
Stefano Zacchiroli [Wed, 2 Apr 2003 09:13:20 +0000 (09:13 +0000)]
made "examples" dir autotools-aware

21 years agomoved dictionaries in a new "dict" directory
Stefano Zacchiroli [Wed, 2 Apr 2003 09:12:59 +0000 (09:12 +0000)]
moved dictionaries in a new "dict" directory

21 years agoCorrected a wrong epsilon-rule in the Special Left Drop paragraph. There was
Paolo Marinelli [Tue, 1 Apr 2003 09:45:09 +0000 (09:45 +0000)]
Corrected a wrong epsilon-rule in the Special Left Drop paragraph. There was
a LaTeX syntax error.

21 years agoAdded some rules in the Right Drop section and in the Left Drop one.
Paolo Marinelli [Mon, 31 Mar 2003 17:41:40 +0000 (17:41 +0000)]
Added some rules in the Right Drop section and in the Left Drop one.

21 years agoAdded some examples of Right Drop.
Paolo Marinelli [Mon, 31 Mar 2003 16:00:33 +0000 (16:00 +0000)]
Added some examples of Right Drop.

21 years agoRemoved some obsolete commands.
Paolo Marinelli [Mon, 31 Mar 2003 15:41:34 +0000 (15:41 +0000)]
Removed some obsolete commands.

21 years agoAdded epsilon-rules concerning the left drop.
Paolo Marinelli [Mon, 31 Mar 2003 15:35:17 +0000 (15:35 +0000)]
Added epsilon-rules concerning the left drop.

21 years ago* added introduction + structure for next sections
Luca Padovani [Sun, 30 Mar 2003 11:10:41 +0000 (11:10 +0000)]
* added introduction + structure for next sections

21 years agoAdded some rules to handle the generalized normal left drop.
Paolo Marinelli [Sun, 30 Mar 2003 11:08:57 +0000 (11:08 +0000)]
Added some rules to handle the generalized normal left drop.

21 years agoAdded a rule in the epsilon-rules section (paragraph normal left drop).
Paolo Marinelli [Sun, 30 Mar 2003 09:30:37 +0000 (09:30 +0000)]
Added a rule in the epsilon-rules section (paragraph normal left drop).

21 years agoRemoved many rules in the "Left Drop" section. Every epsilon-rule in the
Paolo Marinelli [Sat, 29 Mar 2003 20:43:35 +0000 (20:43 +0000)]
Removed many rules in the "Left Drop" section. Every epsilon-rule in the
normal left drop paragraph has been changed.

21 years agoAdded some rules in the "Left Drop" section.
Paolo Marinelli [Fri, 28 Mar 2003 12:32:23 +0000 (12:32 +0000)]
Added some rules in the "Left Drop" section.
Dropped some obsolete rules.

21 years agoAdded some rules in the "Left Drop" section.
Paolo Marinelli [Thu, 27 Mar 2003 18:40:55 +0000 (18:40 +0000)]
Added some rules in the "Left Drop" section.

21 years agoAdded some other rules in the "Left Drop" section.
Paolo Marinelli [Wed, 26 Mar 2003 18:38:52 +0000 (18:38 +0000)]
Added some other rules in the "Left Drop" section.

21 years agoadded an example of a long fxgrep expression
Paolo Marinelli [Wed, 26 Mar 2003 15:41:22 +0000 (15:41 +0000)]
added an example of a long fxgrep expression

21 years agoAdded some rules in the Left Drop section
Paolo Marinelli [Tue, 25 Mar 2003 16:22:38 +0000 (16:22 +0000)]
Added some rules in the Left Drop section

21 years agodebian release 0.0.4-4
Stefano Zacchiroli [Tue, 25 Mar 2003 16:07:15 +0000 (16:07 +0000)]
debian release 0.0.4-4

21 years agobugfix: ships also -config script
Stefano Zacchiroli [Tue, 25 Mar 2003 16:06:58 +0000 (16:06 +0000)]
bugfix: ships also -config script

21 years agobumped policy version to 3.5.9
Stefano Zacchiroli [Tue, 25 Mar 2003 16:06:04 +0000 (16:06 +0000)]
bumped policy version to 3.5.9

21 years agopretty print errors using red color instead of h1 text (close #50)
Stefano Zacchiroli [Tue, 25 Mar 2003 15:49:08 +0000 (15:49 +0000)]
pretty print errors using red color instead of h1 text (close #50)

21 years agoreload/remove all stylesheets now prints also which stylesheets are
Stefano Zacchiroli [Tue, 25 Mar 2003 15:42:46 +0000 (15:42 +0000)]
reload/remove all stylesheets now prints also which stylesheets are
going to be reloaded/removed (close #47)

21 years agoadded keys method that list currently loaded stylesheets' keys
Stefano Zacchiroli [Tue, 25 Mar 2003 15:42:06 +0000 (15:42 +0000)]
added keys method that list currently loaded stylesheets' keys

21 years agoadded feedback for reload/remove methods (close #39)
Stefano Zacchiroli [Tue, 25 Mar 2003 15:26:42 +0000 (15:26 +0000)]
added feedback for reload/remove methods (close #39)

21 years ago* first draft of the formal specification
Luca Padovani [Mon, 24 Mar 2003 15:18:22 +0000 (15:18 +0000)]
* first draft of the formal specification

21 years agobugfix: takes doc from "doc" dir
Stefano Zacchiroli [Fri, 21 Mar 2003 18:06:55 +0000 (18:06 +0000)]
bugfix: takes doc from "doc" dir

21 years agoadded EXTRA_DIST and docs
Stefano Zacchiroli [Fri, 21 Mar 2003 18:05:35 +0000 (18:05 +0000)]
added EXTRA_DIST and docs

21 years agoempty BUGS file
Stefano Zacchiroli [Fri, 21 Mar 2003 18:04:24 +0000 (18:04 +0000)]
empty BUGS file

21 years agoremoved ancient HELM stuff
Stefano Zacchiroli [Fri, 21 Mar 2003 18:04:12 +0000 (18:04 +0000)]
removed ancient HELM stuff

21 years agoadded sample configuration file
Stefano Zacchiroli [Fri, 21 Mar 2003 18:00:16 +0000 (18:00 +0000)]
added sample configuration file

21 years ago- implemented distcheck target
Stefano Zacchiroli [Fri, 21 Mar 2003 17:58:05 +0000 (17:58 +0000)]
- implemented distcheck target
- bugfix: added some target to .PHONY

21 years agorebuilt
Stefano Zacchiroli [Fri, 21 Mar 2003 17:57:46 +0000 (17:57 +0000)]
rebuilt

21 years agobumped version to 0.2.1
Stefano Zacchiroli [Fri, 21 Mar 2003 17:48:49 +0000 (17:48 +0000)]
bumped version to 0.2.1

21 years ago* defined variables for the default path of dictionaries
Luca Padovani [Fri, 21 Mar 2003 11:11:10 +0000 (11:11 +0000)]
* defined variables for the default path of dictionaries
  and stylesheets

21 years ago* added default dictionary/stylesheet paths
Luca Padovani [Thu, 20 Mar 2003 16:15:12 +0000 (16:15 +0000)]
* added default dictionary/stylesheet paths
* small fix in configure.ac

21 years agoadded distcheck target
Stefano Zacchiroli [Thu, 20 Mar 2003 15:15:25 +0000 (15:15 +0000)]
added distcheck target

21 years agobumped version to 0.2.0
Stefano Zacchiroli [Thu, 20 Mar 2003 15:08:07 +0000 (15:08 +0000)]
bumped version to 0.2.0

21 years agoadded version information
Stefano Zacchiroli [Thu, 20 Mar 2003 15:06:21 +0000 (15:06 +0000)]
added version information

21 years agoThe reload method requires now the "keys" parameter (that may be empty).
Claudio Sacerdoti Coen [Tue, 18 Mar 2003 16:45:59 +0000 (16:45 +0000)]
The reload method requires now the "keys" parameter (that may be empty).

21 years agoadded support for NuPRL stylesheets
Stefano Zacchiroli [Tue, 18 Mar 2003 15:58:02 +0000 (15:58 +0000)]
added support for NuPRL stylesheets

21 years agoadded 2 seconds delay before loading stylesheets
Stefano Zacchiroli [Tue, 18 Mar 2003 15:18:56 +0000 (15:18 +0000)]
added 2 seconds delay before loading stylesheets

21 years agohelm search engine back at work!
Stefano Zacchiroli [Tue, 18 Mar 2003 15:18:10 +0000 (15:18 +0000)]
helm search engine back at work!

21 years agofeatures: patched
Ferruccio Guidi [Mon, 17 Mar 2003 22:28:43 +0000 (22:28 +0000)]
features: patched

21 years ago- added support for environment specified log file using variable
Stefano Zacchiroli [Sat, 15 Mar 2003 18:52:50 +0000 (18:52 +0000)]
- added support for environment specified log file using variable
  UWOBO_LOG_FILE

21 years ago- catch libxslt error and debugging messages and return them to the user
Stefano Zacchiroli [Sat, 15 Mar 2003 18:39:37 +0000 (18:39 +0000)]
- catch libxslt error and debugging messages and return them to the user
- preprocess stylesheet on add and reload just to show warning to the
  user
- fixed feedback messages for reload action
- better feedback messages for strange conditions (e.g. reload with no
  stylesheet loaded)
- send text/html content type on feedback
- removed some ancient debugging messages
- commented Uwobo_styles interface

21 years ago- added support for "formatted" log messages, mainly
Stefano Zacchiroli [Sat, 15 Mar 2003 18:35:35 +0000 (18:35 +0000)]
- added support for "formatted" log messages, mainly
  * method logBold
  * method logEmph
  used to log error and debugging messages to be output on HTML pages

21 years agolink patched
Ferruccio Guidi [Fri, 14 Mar 2003 18:49:56 +0000 (18:49 +0000)]
link patched

21 years agoadded: features and documentation
Ferruccio Guidi [Fri, 14 Mar 2003 18:41:12 +0000 (18:41 +0000)]
added: features and documentation

21 years agoAdded some comments to the source code.
Paolo Marinelli [Fri, 14 Mar 2003 16:13:50 +0000 (16:13 +0000)]
Added some comments to the source code.

21 years agoadded support for setting debug and error callbacks
Stefano Zacchiroli [Thu, 13 Mar 2003 21:45:37 +0000 (21:45 +0000)]
added support for setting debug and error callbacks

21 years agobugfix: installs also i_gdome_xslt.ml, gdome_xslt_init.o and
Stefano Zacchiroli [Thu, 13 Mar 2003 21:44:28 +0000 (21:44 +0000)]
bugfix: installs also i_gdome_xslt.ml, gdome_xslt_init.o and
libmlgdome2-xslt.a

21 years agodebian release 0.0.4-3
Stefano Zacchiroli [Thu, 13 Mar 2003 21:43:45 +0000 (21:43 +0000)]
debian release 0.0.4-3

21 years agoAdded the completion of the macro's name.
Paolo Marinelli [Thu, 13 Mar 2003 18:20:08 +0000 (18:20 +0000)]
Added the completion of the macro's name.
To meet this goal, the abstract lexer has a new method: complete.
T(L)PushLexer doesn't implement this method. But there are two additional
classes: ITPushLexer and ILPushLexer. These are derived from TPushLexer and
LPushLexer. The only difference between the derived classes and their parents
is the implementation of the method complete.
TDictionary has a new method: complete. It's used by the lexers.
Now, in LPushLexer, long identifiers can be composed by these additional
character: '-' and '_'. To insert them as part of long identifiers, the
user has escape them with '\'.
Added a new node in the TML tree. It' name is 's' and represents a space.
It can be pushed only with a LPushLexer.

21 years agoThis xslt transforms the TML tree in TeX using a particular syntax:
Paolo Marinelli [Thu, 13 Mar 2003 17:44:48 +0000 (17:44 +0000)]
This xslt transforms the TML tree in TeX using a particular syntax:
  every node having the attribute Id, will be transformed in
  {\id{id value}{expansion of its children}}.

21 years agoreindented and recommented kindly
Stefano Zacchiroli [Thu, 13 Mar 2003 15:46:34 +0000 (15:46 +0000)]
reindented and recommented kindly

21 years agoinstalls also i_gomde_xslt.mli
Stefano Zacchiroli [Thu, 13 Mar 2003 15:12:08 +0000 (15:12 +0000)]
installs also i_gomde_xslt.mli

21 years agodebian release 0.0.4-2:
Stefano Zacchiroli [Thu, 13 Mar 2003 15:10:52 +0000 (15:10 +0000)]
debian release 0.0.4-2:
- installs also i_gdome_xslt.cmi

21 years ago- Some .cvsignore were missing
Claudio Sacerdoti Coen [Thu, 13 Mar 2003 14:50:21 +0000 (14:50 +0000)]
- Some .cvsignore were missing
- Backtracking on the few glib2 dependencies

21 years ago* removed .in files
Luca Padovani [Thu, 13 Mar 2003 14:33:57 +0000 (14:33 +0000)]
* removed .in files

21 years ago* removed GLIB 2 dependencies (GLIB 2 not used!)
Luca Padovani [Thu, 13 Mar 2003 14:31:05 +0000 (14:31 +0000)]
* removed GLIB 2 dependencies (GLIB 2 not used!)

21 years agoRemoved the line that sourced the personal configuration file of Zack.
Claudio Sacerdoti Coen [Thu, 13 Mar 2003 14:13:15 +0000 (14:13 +0000)]
Removed the line that sourced the personal configuration file of Zack.

21 years agoMathQL homepage added
Ferruccio Guidi [Thu, 13 Mar 2003 14:00:31 +0000 (14:00 +0000)]
MathQL homepage added

21 years ago* license update
Luca Padovani [Thu, 13 Mar 2003 13:52:32 +0000 (13:52 +0000)]
* license update

21 years ago* licenses updated
Luca Padovani [Thu, 13 Mar 2003 13:52:12 +0000 (13:52 +0000)]
* licenses updated

21 years ago* added license and copyright to every source file
Luca Padovani [Thu, 13 Mar 2003 11:50:00 +0000 (11:50 +0000)]
* added license and copyright to every source file
* fixes in the makefiles for distribution
* preparing for packaging

21 years ago* disable-shared doens't bother ocaml
Luca Padovani [Thu, 13 Mar 2003 10:44:35 +0000 (10:44 +0000)]
* disable-shared doens't bother ocaml

21 years agomoved uwobo sources to the root uwobo directory
Stefano Zacchiroli [Wed, 12 Mar 2003 18:37:49 +0000 (18:37 +0000)]
moved uwobo sources to the root uwobo directory

21 years agoremoved .cvswrappers
Stefano Zacchiroli [Wed, 12 Mar 2003 18:36:16 +0000 (18:36 +0000)]
removed .cvswrappers

21 years ago- reimplemented cache handling
Stefano Zacchiroli [Wed, 12 Mar 2003 18:06:07 +0000 (18:06 +0000)]
- reimplemented cache handling
- solved race condition issues (closes: bug#26)

21 years agoadded "output" parameter to gzip and gunzip used to specify target file
Stefano Zacchiroli [Wed, 12 Mar 2003 18:03:46 +0000 (18:03 +0000)]
added "output" parameter to gzip and gunzip used to specify target file
for compression and decompression

21 years agoadded support for patch_fun also for gzipped documents
Stefano Zacchiroli [Wed, 12 Mar 2003 18:03:07 +0000 (18:03 +0000)]
added support for patch_fun also for gzipped documents

21 years agoembedded configuration infos in usage string
Stefano Zacchiroli [Wed, 12 Mar 2003 18:02:04 +0000 (18:02 +0000)]
embedded configuration infos in usage string

21 years agoremoved dump_env in favour of env_to_string which return a string
Stefano Zacchiroli [Wed, 12 Mar 2003 18:01:47 +0000 (18:01 +0000)]
removed dump_env in favour of env_to_string which return a string
describing current environment

21 years ago- embedded configuration information in help string
Stefano Zacchiroli [Wed, 12 Mar 2003 18:01:04 +0000 (18:01 +0000)]
- embedded configuration information in help string
- bumped version to 0.2.1

21 years agorebuilt
Stefano Zacchiroli [Wed, 12 Mar 2003 18:00:12 +0000 (18:00 +0000)]
rebuilt

21 years agoremoved old java implementation
Stefano Zacchiroli [Wed, 12 Mar 2003 17:26:25 +0000 (17:26 +0000)]
removed old java implementation

21 years agotypo fixes in usage string
Stefano Zacchiroli [Wed, 12 Mar 2003 17:24:31 +0000 (17:24 +0000)]
typo fixes in usage string

21 years agoremoved an ancient debugging message
Stefano Zacchiroli [Wed, 12 Mar 2003 17:24:01 +0000 (17:24 +0000)]
removed an ancient debugging message

21 years agoadded generation of dot dependency graph
Stefano Zacchiroli [Wed, 12 Mar 2003 17:23:10 +0000 (17:23 +0000)]
added generation of dot dependency graph

21 years ago- bugfiz: 0! = 1 :-)
Stefano Zacchiroli [Wed, 12 Mar 2003 17:06:24 +0000 (17:06 +0000)]
- bugfiz: 0! = 1 :-)