]> matita.cs.unibo.it Git - helm.git/log
helm.git
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

21 years agodebian release 0.4.1-1
Stefano Zacchiroli [Wed, 12 Mar 2003 02:06:59 +0000 (02:06 +0000)]
debian release 0.4.1-1

21 years agodebian release 0.0.4-1
Stefano Zacchiroli [Tue, 11 Mar 2003 11:34:30 +0000 (11:34 +0000)]
debian release 0.0.4-1

21 years agouse autotools also for ocaml part (again?)
Stefano Zacchiroli [Tue, 11 Mar 2003 11:33:56 +0000 (11:33 +0000)]
use autotools also for ocaml part (again?)

21 years ago- added support for NuPRL URIs in xml_url_of_uri
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

21 years ago- added default value for parse_patch function
Stefano Zacchiroli [Tue, 25 Feb 2003 14:13:39 +0000 (14:13 +0000)]
- added default value for parse_patch function
- reindented some tab

21 years agoadded is_blank_line facility to match line that should be ignored in
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

21 years agoadded generation of DOT modules dependency graph
Stefano Zacchiroli [Tue, 25 Feb 2003 13:57:42 +0000 (13:57 +0000)]
added generation of DOT modules dependency graph

21 years agoAdded the special deletion. Pressing backspace, the user has a normal deletion
Paolo Marinelli [Mon, 24 Feb 2003 11:07:47 +0000 (11:07 +0000)]
Added the special deletion. Pressing backspace, the user has a normal deletion
(which can be either graphical or textual). Pressing backspace + alt, the user
has a special deletion (which can be either textual or graphical).
To implement this feature, all parser's methods concerning the deletion have
been modified: now, all of them have a boolean parameter, which indicates which
kind of deletion the method has to operate.
All methods' names have been changed: the word gdelete has been substitued with
drop.

21 years ago- better error messages on make failure
Stefano Zacchiroli [Sun, 23 Feb 2003 16:56:34 +0000 (16:56 +0000)]
- better error messages on make failure
- synced with O'Http 0.0.8

21 years agoadded hbugs-client META
Stefano Zacchiroli [Fri, 21 Feb 2003 13:56:04 +0000 (13:56 +0000)]
added hbugs-client META

21 years agorely on correct settings of OCAMLPATH
Stefano Zacchiroli [Fri, 21 Feb 2003 13:55:27 +0000 (13:55 +0000)]
rely on correct settings of OCAMLPATH

21 years agoadded pp for apply hint
Stefano Zacchiroli [Fri, 21 Feb 2003 13:47:43 +0000 (13:47 +0000)]
added pp for apply hint

21 years agorebuilt
Stefano Zacchiroli [Fri, 21 Feb 2003 13:46:59 +0000 (13:46 +0000)]
rebuilt

21 years ago* some fixes so to make Ocaml garbage collector happy
Luca Padovani [Fri, 21 Feb 2003 13:20:34 +0000 (13:20 +0000)]
* some fixes so to make Ocaml garbage collector happy
* there is still the problem that the assert macro is not recognized (?)

21 years ago* the minus sign is now mapped to the right Unicode character ant not
Luca Padovani [Fri, 21 Feb 2003 13:18:42 +0000 (13:18 +0000)]
* the minus sign is now mapped to the right Unicode character ant not
  to the dash -

21 years ago* removed debug message
Luca Padovani [Fri, 21 Feb 2003 13:18:10 +0000 (13:18 +0000)]
* removed debug message

21 years ago* click signal changed: now the element argument is optional
Luca Padovani [Fri, 21 Feb 2003 13:09:30 +0000 (13:09 +0000)]
* click signal changed: now the element argument is optional
  and if None it means the click was made on nothing. This is more
  uniform with the other signals