This commit was manufactured by cvs2svn to create tag 'camera_ready'.

Camera ready.

* substituting the right version variable

* wrong variable for version

* patched version of shared library

* first snapshot

merged CSC's typos squashing

fixed "s" typos

description for "Irene Schena" added in authors.html

wrapped libxslt stylesheet application inside an ocaml blocking section
so that ocaml exceptions, signals and other asynchronous stuff could be
handled in the meantime

bumped version to 0.0.5

Towards the camera ready.

debian release 0.0.4-7

debian release 0.4.3-3

reordered link order

Version dumped.

Bug fixed: the value of parameters must be valid XPath string literals ==>
they can not contain both ' and " (at least in Veillard interpretation, of
course ;-)

The fix applied consist in accepting parameters with only ' or only " inside
by quoting them using the opposite quote. As a consequence, variable
values with just 's inside are now handled correctly.

prose patched

links page added

implementation and whatsnew pages added

"backPointer" metadata enabled

new "light" implementation of intersection (compatible with the generator)

rendering of "meet" patched

Bug fixed: deselecting a constraint just forgot its depth.

mathql_generator: new constraint format (more type safe)
mathql_test     : moved outside ocaml

Ctr+Backspace is now enabled. Used to perform "alternative" deletion.

The editor window now scrolls when the user exceeds the available space.

- DoubleTypeInference.does_not_occur exposed
- dummy bindings in Prods are no longer generated: arrows are now generated

- changed changelog author to me (to GPG sign the package)
- added dependencies on gmetadom >= 0.1.10-2 (so that the .pc is available)

0.4.3-2

1. freeze/thaw added to reduce flickering due to selection changes
2. SEMANTICA CHANGE: structural selection is no longer activated just
   before semantic selection

gtkmathview-config and gdome-config no longer used

debian release 0.0.4-6

moved debhelper compatibility level to debian/compat

- default font size of the proof window lowered to 10
- the font size spinner is now initialized with the right value

mathql_interpreter: natile-galax package removed from Makefie and META
mathql_generator  : MQueryLevels2.ml patched (namespaces removed from sorts)

The type of a LetIn is now a LetIn if and only if the bound variable really
occurs.

The "Save proof" menu item is now activated when a finished proof is reopened.

Reindentation.

Reloading bugged stylesheets no longer makes gTopLevel crash.

Reload stylesheets menu entry added (under the Settings menu)

...

http://....#Prop shortened to Prop due to a bug (feature?) in the DB.

relativeDepth function removed (useful only for cooking)

Metadata tools are now working correctly also over .body files.

The proof-checker should now be working also on .body files.

dropBodySuffix function added

- Object URL link added
- rethorical text changed

Ported to the latest version of libhttp

added tons of #include <cassert> to make latest gcc compiler happy

preliminar 0.0.3-2 debian release

forward ported to use pkg-config

It should have already been moved to ocaml/mathql_generator

Removed (it should have already been in ocaml/tactics)

Porting to the latest version of PXP (1.1.94).

No longer in use.

Branch V7_3_new_exportation merged.

Branch V7_3_new_exportation merged.

- help method added
- branch V7_3_new_exportation merged

styles directory creation now works even if stylesheets and meta_stylesheets
are symbolic links (as in my case)

Author specification added in head comments;
MQueryGenerator.builtin ready to be used

...

Installation instructions.

- script.sh added to the repository: you should change it to reflect your
  own settings
- the Makefile tries now to automatically build the styles directory, made
  only of hyperlinks to the styles in stylesheets and stylesheets/generated.
  Before doing make, you have to check out the stylesheets and meta_stylesheets
  repositories from the mowgli archive.
- added rootcontent.xsl which is the version used by gTopLevel until we find
  a better solution. You should change it to reflect your own settings.

New version 0.0.3:
 - tml-litex.xsl was not installed
 - guiGTK.h did not include gdome.h
 - configure.ac was not correctly ported to pkg-config, since it still
   checked for the existence of the *-config executables for all the
   packages editex depends on. Fixed.

* mquery_interpreter logging and debugging activated
* bug fixed: the universe of the complete search pattern must exclude
  the InBody occurrences

The universe was the one of the complete search, not that of the
searchPatter (restricted to the conclusion).

Reindented

Merge of the V7_3_new_exportation branch.

removed old -config script

#include <cassert> patch

debian version 0.0.4-5

New version 0.0.2:

* Bug fixed:
  - the *PushLexer reset method did not notify the PushParser of the
    buffer reset
  - the reset() method of the ocaml binding did not reset the Lexer.
    Closes #85 and #86
  - Even if the cursor is not visible, its value should be rendered
    in MathML Presentation and it should be printed in TeX. Fixed
    both xml-mmlp.xsl and tml-tex.xsl

* New stuff:
  - the LPushLexer now recognized \/ as a long identifier character.
  - Added a new tml-litex.xsl stylesheet from TML to TeX + long identifiers.
    It should be (but it is not yet) the inverse function of the
    parser

* added pkg-config stuff

fixed autoconf variable @@ vs $()

MathQL 1.3 ready for use

debian version 0.4.3 (maybe, not tested)

* removed *-config script invocations, now using pkg-config

bumped version to 0.4.3

No longer used.

* added template for tml:s
* if the cursor is the empty string it is not produced

- tabs removed
- "\" correctly quoted in strings
- in case of self-loops, the process diverged. Self-loops are now
  ignored during parsing.

findlib introduced

* the non-empty cursor is now generated

* patched wrong commit (perhaps...)

new syntax for "property" enabled:
 now many "isfalse" clauses are accepted

final ispell

Minor modifications to the new session.

...

...

color ==> gray

...

New session (the H-Bugs interactive session).

draft review

New ispell.

Several other small changes here and there.

...

thread handling reviewed

Figure moved to the next page.

Several editor notes resolved.