added MkImplicit module for meta handling

added Peano module and functions to create natural/real terms

Branch V7_3_new_exportation closed.

mathql listed twice

The searchengine now requires the mathql_db_map.txt.
Added the mathql_db_map.txt file and the new environment variable
MATHQL_DB_MAP.

No longer in use.

Error in the warning message.

added missing depending on (CSC's) helm-cic_textual_parser

removed ui_logger, now in external module logger

added missing dependencies on mathql-*

added logger's META

moved to the logger module

- added logger module
- vertical ordering

moved here ui_logger from gTopLeve

still a working copy, now towards a cleaner implementation ...

added HelmLibraryObjects module

* removed email address

Bug commented out. The comment is also commented.

Big bug spotted: restriction can fail and it was implicitly assumed that it
didn't. Added another comment in the code.

One of the bug I detected (and commented) in my last commit was not a bug.
This commit removes the erroneus comment.

patched

More comments. Some of them may highlight bugs or open issues.

generate gui to temp file in order to catch lablgladecc2 failures

rebuilt

s/Logger/CicLogger/

use ocaml-http instead of netclient for http requests

Makefiles patched

Big bug spotted and commented: the delift function considers the explicit
substitution over metavariable occurrences as telescopic. Instead it is
simultaneous.

* comments improved an possible code weakness (i.e. less than first order
  unification detected) made explicit in the comment and with a warning.

* Reindentation
* More comments

* Reindentation.
* Useless code elimination.
* Debug code elimination.

- ported to new output_html Disambiguate callback
- removed netclient dependency

s/netclient/http/ in dependencies

cosmetic changes

use ocaml-http instead of netclient for http GET requests

- use ocaml-http instead of netclient for http GET requests
- renamed Makefile targets so that all and clean have the usual
  semantics

removed old perl versions of graph daemons

use new METAS/* names

removed ancient "interface" dir

removed ancient lablgtk, lablgtk_gtkmathview

removed ancient mlminidom

removed ancient pxp dir

removed useless ocamlfind query of the netclient package

removed useless "-package netclient" from one of the examples

bumped version to 0.0.9

fixed typo in ocamldoc comment

removed dependency on netclient, use http_client module from ocaml-http

added parse_response_fst_line

- return (or iter on) just http response's body
- s/http_get_iter_buf/http_get_iter/
- commented interface files

added Malformed_response exception

added http_client module

rebuilt

ported to ocaml 3.07

renamed META*.src to meta*.src so that ocamlfind list doesn't list both
src and real METAs

- fixed logging in log window so that spurious html tags are no longer
  printed
- factorized a lot of error handling code in invokeTactics
- moved (and reimplemented) logger class to ui_logger module

renamed module "logger" to "cicLogger" to avoid confusion with user
interface logger

sample script.sh which read META files from ocaml/METAS

moved META files in METAS/ dir

added support for cic_textual_parser2 module

new experimental cic textual parser: checkin

close RC bug regarding rebuilding with newer gthmathview

mathql documentation for version 4

debian version 0.0.4-3

added -thread option where needed to make new findlib happy

ignore environments

esplicitely add -thread parameter to all compiler invocations

use a list of getter maps

rebuilt

sort CProp added

The tmp is now cleared from the http___* files.

updated

* debugging messages and dumpes commented out

Porting to lablgtk2 completed.

The hbugs client interface is almost working again.

HBugs compile again (but it does not do anything right now: still to be
ported correctly to lablgtk2)

First release that compiles under lablgtk2 (but it does not work, actually!)

updated to version 4

updated to version 1.4

* first upgrade to the new error logging mechanism

*** empty log message ***

some interfaces changed to prepare the mathql code for version 1.4

* removed dependency from liblablgtk-ocaml{,-dev}

* added profiling options

* temporarily removed hbugs dependency

* updated for gtk2
* temporarily removed hbugs
* temporarily removed html widget using a plain text widget instead

* updated for gtk2

debian version 0.0.4-2

* this implements the new instantiation for gtkmathview

* GEdit -> GText

* variant types changed for selection mode

* fixed O_S variable for ocamlmklib on hppa arch

- debian release 0.0.6-3
- use .o objects from .libs directory so that they are PIC
  (fix build failure on hppa)

* first version of the profile manager committed

* added timer for profiling the editor

* added daemon
* fixed minor bugs

* oo interface

* first files added to cvs

debian version 0.5.1-2

debian version 0.5.1-1

debian snapshot version 0.0.6-2