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

- bugfix: musings table is now consistent!
- changed data structures used to hold musings: now explicitely use
  lists instead of relying on Hashtbl multiple bindings
- added isActive method on musings class

- better specialization of some error messages
- added some informational messages
- use hint received from tutor instead of a fooish one
- control over answer from gTopLevel when sending hint
- commented out debugging wrapper which print all received messages

- added doc target to generate .dot dependency graph using ocamldoc
- added start/stop targets to start/stop broker
- clean run dir/ on distclean

added control script to start/stop broker

added hbugs-common and hbugs-thread_safe

added hbugs-common objects

added META for hbugs client

* the stylesheet does not generate the tml namespace anymore

* removed memory leak (maybe)
* used Val_Element_ref instead of reffing explicitly

Debug code removed.

* assertion too strict removed

* added missing dependencies

Type fixed.

* added show/hide cursro methods
* some code cleanup
* fix in reset
* fix in get_tex (binding ocaml)
* added tex to mml translator

* the type of the constructor was wrong

* bind of method get_drawing_area
* currently the test doesn't do anything with it

Bug fixed. In the previous version, all right open macros and all delimited arguments
of a macro, could be closed inserting a closing brace.
Now, a right open macro can be closed only if it's contained in a group (with id).
To close it, the user has to type a closing brace, which closes the group.
A right open macro not contained in a group, cannot be closed: any closing brace
is ignored.
The only way to exit from a delimited argument, the user has to type the delimiter (or the
sequence of delimiters).
To fix this bug, a new method has been added to the TPushParser class. This method
(bool correctBrace(void)), is used to determine if a closing brace is appropriate to
close a right open macro.
In addition, advance method has been modified.

* this is a large commit
* added freeze/thaw methods to parser
* added XSLT + Diff class
* added <include> method for including dictionaries
* added preliminary ocaml binding (C+ML)
* code cleanup

* added apply method that takes no parameters

Added support for NuPRL URIs.

Note: theory files are supported only for CIC. To be understood.

Added some controls to handle the case in which the user type an unexpected '{'
character. Now, the editor doesn't crash, but emit an error.
Removed some debug messages.

Makefile.common.in and .depend backtracked to my last commit (before the
ones of Ferruccio) and then modified. Dependencies between a file and a
library are now handled correctly.

packege dependences calculation patched

Missing parameters added to MathML Content mode.

package dependences calulation fixed

SQL quoting fixed in relation.ml

Added some controls for the graphical deleting of apostrophe.
The code for the graphical deleting is now divided in several private methods, which
 make the code clearer.
Partially added the use of the logger in the class TPushParser.
Some little errors has been eliminated in the implementation of the class
TPushParser.

print_endline ==> prerr_endline
and other minor code improvements

Bug fixed: ' must be quoted.

Bug fixed: "'" must be quoted.

old file removed

added generation of LaTeX documentation

updated

added a lot of ocamldoc comments

- added GPL preamble
- added a lot of ocamldoc comments

- added GPL preamble
- added some ocamldoc comments

added GPL preamble

fixed a syntax quirk to make ocamldoc happy

moved an ocamldoc comment to .mli

spacing to make ocamldoc happy

bugfix: catch new exceptions for unsupported HTTP versions and methods

ignore .dot and .ps files

added GPL preamble

- removed superseded exceptions: Unsupported_method, Unsupported_HTTP_version
- added a lot of ocamldoc comments

added generation of dot modules dependency graph

new interface for text_of_query/text_of_result + bug fixes

What was the semantics of passing an empty prop.encoding?

* created a separate namespace for DOM extensions

* code cleanup
* added logger class and a simple implementation on console
* moved transformation code from test into a mathml factory class
* added .cvsignore files

Now it's possible to insert and delete control sequence with arguments
delimited by a sequence of delimiters, and to insert and delete tables.
To meet this goals, some source files have been modified.
  src/TPushLexer.*
    This class has a new method: flush. It's can be used to tell the lexer
    to send the current content of the buffer to the parser.
    It's usefull in the creation of the dictionary.
  src/TDictionary.*
    There are two new method: bool lastDelimiter(unsigned p) and
    unsigned previousParam(unsigne p). The first one is used to know if
    the delimiter at position p is the last one of a sequence.
    The second one retursn the position of the parameter preceding p.
  src/TPushParser.cc
    Now, it provides support for inserting and deleting macro with
    arguments delimetd by a sequence of delimiters, and for inserting
    and deleting tables.
  dictionary.xml
    there are three new entry, added only for testing purposes.
  xsl/tml-mmlp.xsl
    it handles the three new element, introduced in the dictionary.

* some small bug fixes
* updated licenses in all source files

* implemented a more efficient selection to avoid flickering
* click now unselect every selection even in multi_selection

* added refs to the pointers passed on the signal handler!!!

Added some controls concerning the graphical deleting.
Now, it's possible to delete a macro which accepts (delimited or not delimited)
arguments.
To meet this goal, the following source files have been modified:
   src/TNode.*
     added a new public method: void TNode::replace(const TNode& first, TNode& last)
       This method is used to replace a node with the nodes between
       first (included) and last (not included).
   src/TPushParser.*
     Some code lines have been added to handle the graphical deleting of
     macro which accepts arguments.
     Added new private method: void TPushParser::rgreplace_futher(void)
       This method is used in TPushParser::gdelete_prev() and
       TPushParser::do_gdelete() methods. This method replaces a
       group with id having the cursor as unic child, with the
       cursor. Then, it repeats the control.
   dictionary.xml
     a new entry is avaible to test the deleting of a macro which is
     "leftOpen".