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

debian release 0.0.4-2:
- installs also i_gdome_xslt.cmi

- Some .cvsignore were missing
- Backtracking on the few glib2 dependencies

* removed .in files

* removed GLIB 2 dependencies (GLIB 2 not used!)

Removed the line that sourced the personal configuration file of Zack.

MathQL homepage added

* license update

* licenses updated

* added license and copyright to every source file
* fixes in the makefiles for distribution
* preparing for packaging

* disable-shared doens't bother ocaml

moved uwobo sources to the root uwobo directory

removed .cvswrappers

- reimplemented cache handling
- solved race condition issues (closes: bug#26)

added "output" parameter to gzip and gunzip used to specify target file
for compression and decompression

added support for patch_fun also for gzipped documents

embedded configuration infos in usage string

removed dump_env in favour of env_to_string which return a string
describing current environment

- embedded configuration information in help string
- bumped version to 0.2.1

rebuilt

removed old java implementation

typo fixes in usage string

removed an ancient debugging message

added generation of dot dependency graph

- bugfiz: 0! = 1 :-)

- reverted to >= dependencies for ocaml libraries
- added build dep to graphviz

changed interface of send_file function to enforce static type checking
of its arguments

* temporary fix for handling relative/absolute filenames in
  the inclusion mechanisms of dictionaries

* changed handling of ' (\primes) with a few patches in the stylesheets

debian release 0.4.1-1

debian release 0.0.4-1

use autotools also for ocaml part (again?)

- 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

- added default value for parse_patch function
- reindented some tab

added is_blank_line facility to match line that should be ignored in
indexes

added generation of DOT modules dependency graph

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.

- better error messages on make failure
- synced with O'Http 0.0.8

added hbugs-client META

rely on correct settings of OCAMLPATH

added pp for apply hint

rebuilt

* some fixes so to make Ocaml garbage collector happy
* there is still the problem that the assert macro is not recognized (?)

* the minus sign is now mapped to the right Unicode character ant not
  to the dash -

* removed debug message

* 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

global Makefile to build gTopLevel with all its dependencies

exposed Http_message module

moved here misc functions related to URIs from gTopLevel (they are
needed also outside gTopLevel)

ignore *.LOG files

first tutors implementation, contains:
- XML representation of available tutors
- scripts to list and start/stop available tutors
- script to generate simple tutors that simply use a tactic
- search_pattern_apply tutor

- added run/'s .cvsignore ignoring *.LOG files

- added distclean support
- added start/stop target to start/stop broker _and_ tutors
- added recursive invocation on meta and tutors dirs

represented new Wow message

- implemented status {,de}serialization
- implemented hint {,de}serialization
- added support for new Wow and Too_late messages
- added dump_msg debugging function
- added Unexpected_message exception

- formalized proof engine status
- formalized hints and hints list
- added Wow and Too_late broker -> tutor messages
- fixed Eureka message contents to carry a real life hint

- added helm- modules dependencies
- added ocamldoc generation of .dot modules dependency graph

rebuilt

added common module

- added callbacks parameters to hbugsClient constructor (on_exit,
  on_use_hint)
- hid methods used to handle local http daemon
- added and exposed methods registerToBroker, unregisterFromBroker,
  subscribeAll
- removed useHint, hint are returned on request by "hint" new method
- remeber availableTutors from last List_tutor message and use them to
  show tutors name instead of tutor id in main window
- handle double click on hint name to use an hint
- added wait parameter sendReq method to be able to wait the answer of
  a request
- added support for multiple hints received from broker
- clear old hints on state change
- subscribe to all available tutors on creation
- added subscribeSelected method

- removed use hint button
- rearragned subscribe part of main window

s/gui/hbugs_client_gui/

foo main program that instantiate a client GUI, for debugging purposes