]>
 
 
matita.cs.unibo.it Git - helm.git/log 
 
 
 
 
 
 
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 
 
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. 
 
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 
 
Stefano Zacchiroli  [Fri, 21 Feb 2003 13:56:04 +0000  (13:56 +0000)] 
 
added hbugs-client META