patch

patch

patch

- New interface for the MathQL interpreter (1.3 version)
- Two toplevels committed in ocaml/mathql_test (new directory)

Improved exception catching.

bugfix: print a better exception than "Not_found" when "baseuri"
parameter for "ls" method is empty or simply unparsable

- removed unclear parameter on_exit
- renamed on_use_hint to use_hint_callback
- added method setUseHintCallback

Use of Hbugs_deity for thread creation and killing.

Support for optional state (empty XML element).

- use an exception to handle empty status nodes
- removed some ancient comments

updated serialization test

no longer used (use HBUGS_MESSAGES.xml directly)

- support None state
- added (de)serialization of Too_late

State_change can now contain a state of None indicating that the proof
is completed

added "restart" target

added ocamlfind trick to trigger rebuild when some library's .cma has
been changed

added support for slaves killing

NuPrlDefinition element handling added

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