]> matita.cs.unibo.it Git - helm.git/log
helm.git
21 years agoThis commit was manufactured by cvs2svn to create tag 'V_0_2_1'. V_0_2_1
no author [Fri, 11 Jul 2003 10:05:10 +0000 (10:05 +0000)]
This commit was manufactured by cvs2svn to create tag 'V_0_2_1'.

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 :-)

21 years ago- reverted to >= dependencies for ocaml libraries
Stefano Zacchiroli [Wed, 12 Mar 2003 17:05:55 +0000 (17:05 +0000)]
- reverted to >= dependencies for ocaml libraries
- added build dep to graphviz

21 years agochanged interface of send_file function to enforce static type checking
Stefano Zacchiroli [Wed, 12 Mar 2003 17:05:22 +0000 (17:05 +0000)]
changed interface of send_file function to enforce static type checking
of its arguments

21 years ago* temporary fix for handling relative/absolute filenames in
Luca Padovani [Wed, 12 Mar 2003 15:51:55 +0000 (15:51 +0000)]
* temporary fix for handling relative/absolute filenames in
  the inclusion mechanisms of dictionaries

21 years ago* changed handling of ' (\primes) with a few patches in the stylesheets
Luca Padovani [Wed, 12 Mar 2003 10:18:02 +0000 (10:18 +0000)]
* changed handling of ' (\primes) with a few patches in the stylesheets