extra_info hack removed

@uri attribute added to tacticinstance. A "Tactic details" hyperlink is
now automatically generated starting from it.

The UNICODEvsSYMBOL machinery is now working again.

nuprl_content_to_html.xsl is not used. Let's definitely remove it.

First commit of the NuPRL stylesheets.

kill instances of uwobo_forever.sh on stop

- added support for UWOBO respawner
- added some newline related pretty printing

added UWOBO respawner script

getter's panel check in

added a TODO bug comment

ignore comments and blank line in servers file

moved "is_blank_line" from Http_getter_common to Http_getter_misc

added list_servers, {add,remove}_server methods to usage string

updat changelog with list_servers method addition

added "/list_servers" method (actually used by the getter panel)

- added "/add_server" and "/remove_server" to dynamically adjust servers
  list at runtime

- added functions "add_server" and "remove_server" to dynamically adjust
  servers list at runtime

- added functions "add_line" and "remove_line" to edit line oriented files
- use some Zack helpers intstead of reinventing the wheel

added "replace" method which interfaces Dbm.replace function

link also zack's helpers

rebuilt

added zack's helpers

* new semantics with 2 continuations

* version with single continuation

* set-based + functional semantics

moved some constants from Http_daemon to Http_constants

* 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

* added missing / in path for default stylesheets

* added .mli file for the editor

- redesigned error and warning handling for libxslt
- added support for error and warning for the apply method

* major update in regular context language definition and semantics

added debian stuff, first release

* added dependency on the editor

* added depndencies to stdc++ library

* added dependencies to the ocaml shared stub lib

Added the lines required to initialize and close the connection to the
database.

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.

* removed

* mini-patch to dictionary
* added dependencies to shared li;b

distribute also ocaml subdirs

- gcc 3.2 aware changes
- made "textomml" autotools aware

made "xsl" dir autotools-aware

gcc 3.2 aware changes

C++ 3.2 aware changes

added config.dirs

made "examples" dir autotools-aware

moved dictionaries in a new "dict" directory

Corrected a wrong epsilon-rule in the Special Left Drop paragraph. There was
a LaTeX syntax error.

Added some rules in the Right Drop section and in the Left Drop one.

Added some examples of Right Drop.

Removed some obsolete commands.

Added epsilon-rules concerning the left drop.

* added introduction + structure for next sections

Added some rules to handle the generalized normal left drop.

Added a rule in the epsilon-rules section (paragraph normal left drop).

Removed many rules in the "Left Drop" section. Every epsilon-rule in the
normal left drop paragraph has been changed.

Added some rules in the "Left Drop" section.
Dropped some obsolete rules.

Added some rules in the "Left Drop" section.

Added some other rules in the "Left Drop" section.

added an example of a long fxgrep expression

Added some rules in the Left Drop section

debian release 0.0.4-4

bugfix: ships also -config script

bumped policy version to 3.5.9

pretty print errors using red color instead of h1 text (close #50)

reload/remove all stylesheets now prints also which stylesheets are
going to be reloaded/removed (close #47)

added keys method that list currently loaded stylesheets' keys

added feedback for reload/remove methods (close #39)

* first draft of the formal specification

bugfix: takes doc from "doc" dir

added EXTRA_DIST and docs

empty BUGS file

removed ancient HELM stuff

added sample configuration file

- implemented distcheck target
- bugfix: added some target to .PHONY

rebuilt

bumped version to 0.2.1

* defined variables for the default path of dictionaries
  and stylesheets

* added default dictionary/stylesheet paths
* small fix in configure.ac

added distcheck target

bumped version to 0.2.0

added version information

The reload method requires now the "keys" parameter (that may be empty).

added support for NuPRL stylesheets

added 2 seconds delay before loading stylesheets

helm search engine back at work!

features: patched

- added support for environment specified log file using variable
  UWOBO_LOG_FILE

- 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

- added support for "formatted" log messages, mainly
  * method logBold
  * method logEmph
  used to log error and debugging messages to be output on HTML pages

link patched

added: features and documentation

Added some comments to the source code.

added support for setting debug and error callbacks

bugfix: installs also i_gdome_xslt.ml, gdome_xslt_init.o and
libmlgdome2-xslt.a

debian release 0.0.4-3

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.

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}}.

reindented and recommented kindly

installs also i_gomde_xslt.mli