]>
matita.cs.unibo.it Git - helm.git/log
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.
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.
Luca Padovani [Wed, 2 Apr 2003 09:27:11 +0000 (09:27 +0000)]
* removed
Luca Padovani [Wed, 2 Apr 2003 09:26:19 +0000 (09:26 +0000)]
* mini-patch to dictionary
* added dependencies to shared li;b
Stefano Zacchiroli [Wed, 2 Apr 2003 09:16:24 +0000 (09:16 +0000)]
distribute also ocaml subdirs
Stefano Zacchiroli [Wed, 2 Apr 2003 09:16:04 +0000 (09:16 +0000)]
- gcc 3.2 aware changes
- made "textomml" autotools aware
Stefano Zacchiroli [Wed, 2 Apr 2003 09:15:31 +0000 (09:15 +0000)]
made "xsl" dir autotools-aware
Stefano Zacchiroli [Wed, 2 Apr 2003 09:14:59 +0000 (09:14 +0000)]
gcc 3.2 aware changes
Stefano Zacchiroli [Wed, 2 Apr 2003 09:14:10 +0000 (09:14 +0000)]
C++ 3.2 aware changes
Stefano Zacchiroli [Wed, 2 Apr 2003 09:13:53 +0000 (09:13 +0000)]
added config.dirs
Stefano Zacchiroli [Wed, 2 Apr 2003 09:13:20 +0000 (09:13 +0000)]
made "examples" dir autotools-aware
Stefano Zacchiroli [Wed, 2 Apr 2003 09:12:59 +0000 (09:12 +0000)]
moved dictionaries in a new "dict" directory
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.
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.
Paolo Marinelli [Mon, 31 Mar 2003 16:00:33 +0000 (16:00 +0000)]
Added some examples of Right Drop.
Paolo Marinelli [Mon, 31 Mar 2003 15:41:34 +0000 (15:41 +0000)]
Removed some obsolete commands.
Paolo Marinelli [Mon, 31 Mar 2003 15:35:17 +0000 (15:35 +0000)]
Added epsilon-rules concerning the left drop.
Luca Padovani [Sun, 30 Mar 2003 11:10:41 +0000 (11:10 +0000)]
* added introduction + structure for next sections
Paolo Marinelli [Sun, 30 Mar 2003 11:08:57 +0000 (11:08 +0000)]
Added some rules to handle the generalized 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).
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.
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.
Paolo Marinelli [Thu, 27 Mar 2003 18:40:55 +0000 (18:40 +0000)]
Added some 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.
Paolo Marinelli [Wed, 26 Mar 2003 15:41:22 +0000 (15:41 +0000)]
added an example of a long fxgrep expression
Paolo Marinelli [Tue, 25 Mar 2003 16:22:38 +0000 (16:22 +0000)]
Added some rules in the Left Drop section
Stefano Zacchiroli [Tue, 25 Mar 2003 16:07:15 +0000 (16:07 +0000)]
debian release 0.0.4-4
Stefano Zacchiroli [Tue, 25 Mar 2003 16:06:58 +0000 (16:06 +0000)]
bugfix: ships also -config script
Stefano Zacchiroli [Tue, 25 Mar 2003 16:06:04 +0000 (16:06 +0000)]
bumped policy version to 3.5.9
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)
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)
Stefano Zacchiroli [Tue, 25 Mar 2003 15:42:06 +0000 (15:42 +0000)]
added keys method that list currently loaded stylesheets' keys
Stefano Zacchiroli [Tue, 25 Mar 2003 15:26:42 +0000 (15:26 +0000)]
added feedback for reload/remove methods (close #39)
Luca Padovani [Mon, 24 Mar 2003 15:18:22 +0000 (15:18 +0000)]
* first draft of the formal specification
Stefano Zacchiroli [Fri, 21 Mar 2003 18:06:55 +0000 (18:06 +0000)]
bugfix: takes doc from "doc" dir
Stefano Zacchiroli [Fri, 21 Mar 2003 18:05:35 +0000 (18:05 +0000)]
added EXTRA_DIST and docs
Stefano Zacchiroli [Fri, 21 Mar 2003 18:04:24 +0000 (18:04 +0000)]
empty BUGS file
Stefano Zacchiroli [Fri, 21 Mar 2003 18:04:12 +0000 (18:04 +0000)]
removed ancient HELM stuff
Stefano Zacchiroli [Fri, 21 Mar 2003 18:00:16 +0000 (18:00 +0000)]
added sample configuration file
Stefano Zacchiroli [Fri, 21 Mar 2003 17:58:05 +0000 (17:58 +0000)]
- implemented distcheck target
- bugfix: added some target to .PHONY
Stefano Zacchiroli [Fri, 21 Mar 2003 17:57:46 +0000 (17:57 +0000)]
rebuilt
Stefano Zacchiroli [Fri, 21 Mar 2003 17:48:49 +0000 (17:48 +0000)]
bumped version to 0.2.1
Luca Padovani [Fri, 21 Mar 2003 11:11:10 +0000 (11:11 +0000)]
* defined variables for the default path of dictionaries
and stylesheets
Luca Padovani [Thu, 20 Mar 2003 16:15:12 +0000 (16:15 +0000)]
* added default dictionary/stylesheet paths
* small fix in configure.ac
Stefano Zacchiroli [Thu, 20 Mar 2003 15:15:25 +0000 (15:15 +0000)]
added distcheck target
Stefano Zacchiroli [Thu, 20 Mar 2003 15:08:07 +0000 (15:08 +0000)]
bumped version to 0.2.0
Stefano Zacchiroli [Thu, 20 Mar 2003 15:06:21 +0000 (15:06 +0000)]
added version information
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).
Stefano Zacchiroli [Tue, 18 Mar 2003 15:58:02 +0000 (15:58 +0000)]
added support for NuPRL stylesheets
Stefano Zacchiroli [Tue, 18 Mar 2003 15:18:56 +0000 (15:18 +0000)]
added 2 seconds delay before loading stylesheets
Stefano Zacchiroli [Tue, 18 Mar 2003 15:18:10 +0000 (15:18 +0000)]
helm search engine back at work!
Ferruccio Guidi [Mon, 17 Mar 2003 22:28:43 +0000 (22:28 +0000)]
features: patched
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
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
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
Ferruccio Guidi [Fri, 14 Mar 2003 18:49:56 +0000 (18:49 +0000)]
link patched
Ferruccio Guidi [Fri, 14 Mar 2003 18:41:12 +0000 (18:41 +0000)]
added: features and documentation
Paolo Marinelli [Fri, 14 Mar 2003 16:13:50 +0000 (16:13 +0000)]
Added some comments to the source code.
Stefano Zacchiroli [Thu, 13 Mar 2003 21:45:37 +0000 (21:45 +0000)]
added support for setting debug and error callbacks
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
Stefano Zacchiroli [Thu, 13 Mar 2003 21:43:45 +0000 (21:43 +0000)]
debian release 0.0.4-3
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.
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}}.
Stefano Zacchiroli [Thu, 13 Mar 2003 15:46:34 +0000 (15:46 +0000)]
reindented and recommented kindly
Stefano Zacchiroli [Thu, 13 Mar 2003 15:12:08 +0000 (15:12 +0000)]
installs also i_gomde_xslt.mli
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
Claudio Sacerdoti Coen [Thu, 13 Mar 2003 14:50:21 +0000 (14:50 +0000)]
- Some .cvsignore were missing
- Backtracking on the few glib2 dependencies
Luca Padovani [Thu, 13 Mar 2003 14:33:57 +0000 (14:33 +0000)]
* removed .in files
Luca Padovani [Thu, 13 Mar 2003 14:31:05 +0000 (14:31 +0000)]
* removed GLIB 2 dependencies (GLIB 2 not used!)
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.
Ferruccio Guidi [Thu, 13 Mar 2003 14:00:31 +0000 (14:00 +0000)]
MathQL homepage added
Luca Padovani [Thu, 13 Mar 2003 13:52:32 +0000 (13:52 +0000)]
* license update
Luca Padovani [Thu, 13 Mar 2003 13:52:12 +0000 (13:52 +0000)]
* licenses updated
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
Luca Padovani [Thu, 13 Mar 2003 10:44:35 +0000 (10:44 +0000)]
* disable-shared doens't bother ocaml
Stefano Zacchiroli [Wed, 12 Mar 2003 18:37:49 +0000 (18:37 +0000)]
moved uwobo sources to the root uwobo directory
Stefano Zacchiroli [Wed, 12 Mar 2003 18:36:16 +0000 (18:36 +0000)]
removed .cvswrappers
Stefano Zacchiroli [Wed, 12 Mar 2003 18:06:07 +0000 (18:06 +0000)]
- reimplemented cache handling
- solved race condition issues (closes: bug#26)
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
Stefano Zacchiroli [Wed, 12 Mar 2003 18:03:07 +0000 (18:03 +0000)]
added support for patch_fun also for gzipped documents
Stefano Zacchiroli [Wed, 12 Mar 2003 18:02:04 +0000 (18:02 +0000)]
embedded configuration infos in usage 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
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
Stefano Zacchiroli [Wed, 12 Mar 2003 18:00:12 +0000 (18:00 +0000)]
rebuilt
Stefano Zacchiroli [Wed, 12 Mar 2003 17:26:25 +0000 (17:26 +0000)]
removed old java implementation
Stefano Zacchiroli [Wed, 12 Mar 2003 17:24:31 +0000 (17:24 +0000)]
typo fixes in usage string
Stefano Zacchiroli [Wed, 12 Mar 2003 17:24:01 +0000 (17:24 +0000)]
removed an ancient debugging message
Stefano Zacchiroli [Wed, 12 Mar 2003 17:23:10 +0000 (17:23 +0000)]
added generation of dot dependency graph
Stefano Zacchiroli [Wed, 12 Mar 2003 17:06:24 +0000 (17:06 +0000)]
- bugfiz: 0! = 1 :-)
Stefano Zacchiroli [Wed, 12 Mar 2003 17:05:55 +0000 (17:05 +0000)]
- reverted to >= dependencies for ocaml libraries
- added build dep to graphviz
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
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
Luca Padovani [Wed, 12 Mar 2003 10:18:02 +0000 (10:18 +0000)]
* changed handling of ' (\primes) with a few patches in the stylesheets
Stefano Zacchiroli [Wed, 12 Mar 2003 02:06:59 +0000 (02:06 +0000)]
debian release 0.4.1-1
Stefano Zacchiroli [Tue, 11 Mar 2003 11:34:30 +0000 (11:34 +0000)]
debian release 0.0.4-1
Stefano Zacchiroli [Tue, 11 Mar 2003 11:33:56 +0000 (11:33 +0000)]
use autotools also for ocaml part (again?)
Stefano Zacchiroli [Tue, 25 Feb 2003 15:35:52 +0000 (15:35 +0000)]
- added support for NuPRL URIs in xml_url_of_uri
- added support for blank and #-commented lines in indexes
- added support for index lines terminated both with \r and \r\n
Stefano Zacchiroli [Tue, 25 Feb 2003 14:13:39 +0000 (14:13 +0000)]
- added default value for parse_patch function
- reindented some tab
Stefano Zacchiroli [Tue, 25 Feb 2003 14:05:50 +0000 (14:05 +0000)]
added is_blank_line facility to match line that should be ignored in
indexes
Stefano Zacchiroli [Tue, 25 Feb 2003 13:57:42 +0000 (13:57 +0000)]
added generation of DOT modules dependency graph