]> matita.cs.unibo.it Git - helm.git/log
helm.git
21 years ago* added template for tml:s
Luca Padovani [Wed, 18 Jun 2003 12:53:24 +0000 (12:53 +0000)]
* added template for tml:s
* if the cursor is the empty string it is not produced

21 years ago- tabs removed
Claudio Sacerdoti Coen [Tue, 10 Jun 2003 14:59:38 +0000 (14:59 +0000)]
- tabs removed
- "\" correctly quoted in strings
- in case of self-loops, the process diverged. Self-loops are now
  ignored during parsing.

21 years agofindlib introduced
Claudio Sacerdoti Coen [Tue, 10 Jun 2003 14:44:39 +0000 (14:44 +0000)]
findlib introduced

21 years ago* the non-empty cursor is now generated
Luca Padovani [Wed, 4 Jun 2003 13:00:55 +0000 (13:00 +0000)]
* the non-empty cursor is now generated

21 years ago* patched wrong commit (perhaps...)
Luca Padovani [Wed, 4 Jun 2003 10:50:10 +0000 (10:50 +0000)]
* patched wrong commit (perhaps...)

21 years agonew syntax for "property" enabled:
Ferruccio Guidi [Sat, 31 May 2003 18:59:06 +0000 (18:59 +0000)]
new syntax for "property" enabled:
 now many "isfalse" clauses are accepted

21 years agofinal ispell
Claudio Sacerdoti Coen [Fri, 30 May 2003 17:17:58 +0000 (17:17 +0000)]
final ispell

21 years agoMinor modifications to the new session.
Claudio Sacerdoti Coen [Fri, 30 May 2003 17:13:42 +0000 (17:13 +0000)]
Minor modifications to the new session.

21 years ago...
Claudio Sacerdoti Coen [Fri, 30 May 2003 15:20:28 +0000 (15:20 +0000)]
...

21 years ago...
Claudio Sacerdoti Coen [Fri, 30 May 2003 15:18:31 +0000 (15:18 +0000)]
...

21 years agocolor ==> gray
Claudio Sacerdoti Coen [Fri, 30 May 2003 15:18:26 +0000 (15:18 +0000)]
color ==> gray

21 years ago...
Claudio Sacerdoti Coen [Fri, 30 May 2003 15:09:45 +0000 (15:09 +0000)]
...

21 years agoNew session (the H-Bugs interactive session).
Claudio Sacerdoti Coen [Fri, 30 May 2003 15:08:25 +0000 (15:08 +0000)]
New session (the H-Bugs interactive session).

21 years agodraft review
Stefano Zacchiroli [Thu, 29 May 2003 21:14:06 +0000 (21:14 +0000)]
draft review

21 years agoNew ispell.
Claudio Sacerdoti Coen [Thu, 29 May 2003 20:52:06 +0000 (20:52 +0000)]
New ispell.

21 years agoSeveral other small changes here and there.
Claudio Sacerdoti Coen [Thu, 29 May 2003 20:48:45 +0000 (20:48 +0000)]
Several other small changes here and there.

21 years ago...
Claudio Sacerdoti Coen [Thu, 29 May 2003 17:59:37 +0000 (17:59 +0000)]
...

21 years agothread handling reviewed
Stefano Zacchiroli [Thu, 29 May 2003 17:57:06 +0000 (17:57 +0000)]
thread handling reviewed

21 years agoFigure moved to the next page.
Claudio Sacerdoti Coen [Thu, 29 May 2003 17:50:52 +0000 (17:50 +0000)]
Figure moved to the next page.

21 years agoSeveral editor notes resolved.
Claudio Sacerdoti Coen [Thu, 29 May 2003 17:48:22 +0000 (17:48 +0000)]
Several editor notes resolved.

21 years agoEverything Ispell-ed.
Claudio Sacerdoti Coen [Thu, 29 May 2003 13:43:15 +0000 (13:43 +0000)]
Everything Ispell-ed.

21 years agoOther references added.
Claudio Sacerdoti Coen [Thu, 29 May 2003 13:31:42 +0000 (13:31 +0000)]
Other references added.
An old part removed.

21 years agoA new references.
Claudio Sacerdoti Coen [Thu, 29 May 2003 12:26:57 +0000 (12:26 +0000)]
A new references.

21 years agoMany references committed.
Claudio Sacerdoti Coen [Thu, 29 May 2003 12:22:28 +0000 (12:22 +0000)]
Many references committed.

21 years agoSome editor notes closed.
Claudio Sacerdoti Coen [Thu, 29 May 2003 11:34:30 +0000 (11:34 +0000)]
Some editor notes closed.

21 years agoLots of small changes in the text.
Claudio Sacerdoti Coen [Thu, 29 May 2003 11:29:39 +0000 (11:29 +0000)]
Lots of small changes in the text.

21 years agoextended syntax for add
Ferruccio Guidi [Wed, 28 May 2003 13:57:33 +0000 (13:57 +0000)]
extended syntax for add

21 years ago- several changes in all the parts that made comparisons with MONET
Claudio Sacerdoti Coen [Wed, 28 May 2003 12:01:43 +0000 (12:01 +0000)]
- several changes in all the parts that made comparisons with MONET
- added a few sentences in the conclusions section

21 years agoadded web-services' interfaces image
Stefano Zacchiroli [Wed, 28 May 2003 06:58:59 +0000 (06:58 +0000)]
added web-services' interfaces image

21 years ago- reviewed latest CSC'comments
Stefano Zacchiroli [Wed, 28 May 2003 06:58:47 +0000 (06:58 +0000)]
- reviewed latest CSC'comments
- added future works
- added an image

21 years agosite updated
Ferruccio Guidi [Tue, 27 May 2003 13:24:52 +0000 (13:24 +0000)]
site updated

21 years agoSeveral small changes to the parts committed by Zack.
Claudio Sacerdoti Coen [Tue, 27 May 2003 13:11:44 +0000 (13:11 +0000)]
Several small changes to the parts committed by Zack.

21 years agoadded status.eps
Stefano Zacchiroli [Mon, 26 May 2003 12:44:47 +0000 (12:44 +0000)]
added status.eps

21 years agowritten section 3
Stefano Zacchiroli [Mon, 26 May 2003 07:53:49 +0000 (07:53 +0000)]
written section 3

21 years agoFirst part of the chapter about tutors. The automatic generation part is
Claudio Sacerdoti Coen [Fri, 23 May 2003 11:50:12 +0000 (11:50 +0000)]
First part of the chapter about tutors. The automatic generation part is
still missing.

21 years ago- (badly) written section 2 (Architecture)
Stefano Zacchiroli [Fri, 23 May 2003 11:11:42 +0000 (11:11 +0000)]
- (badly) written section 2 (Architecture)
- removed old oldparts in introduction, added some ednotes

21 years agoadded architecture figure
Stefano Zacchiroli [Fri, 23 May 2003 11:09:54 +0000 (11:09 +0000)]
added architecture figure

21 years agoadded MONET's Math Obj Manager to conclusions
Stefano Zacchiroli [Fri, 23 May 2003 11:05:03 +0000 (11:05 +0000)]
added MONET's Math Obj Manager to conclusions

21 years agoadded multiple invocations of latex
Stefano Zacchiroli [Fri, 23 May 2003 11:04:31 +0000 (11:04 +0000)]
added multiple invocations of latex

21 years agoAdded all (???) the sections and their labels.
Claudio Sacerdoti Coen [Fri, 23 May 2003 09:56:15 +0000 (09:56 +0000)]
Added all (???) the sections and their labels.

21 years agoMinor improvements in the introduction.
Claudio Sacerdoti Coen [Fri, 23 May 2003 09:52:48 +0000 (09:52 +0000)]
Minor improvements in the introduction.

21 years ago* fix in optional argument for ocaml binding
Luca Padovani [Fri, 23 May 2003 09:24:55 +0000 (09:24 +0000)]
* fix in optional argument for ocaml binding
* fix in tml->mmlp stylehseet

21 years ago- Introduction changed.
Claudio Sacerdoti Coen [Thu, 22 May 2003 17:51:48 +0000 (17:51 +0000)]
- Introduction changed.
- Tasks assigned.

21 years agoed and draftstamp packages committed and activated
Claudio Sacerdoti Coen [Thu, 22 May 2003 16:05:12 +0000 (16:05 +0000)]
ed and draftstamp packages committed and activated

21 years agomathql query generator interface patched
Ferruccio Guidi [Thu, 22 May 2003 14:49:52 +0000 (14:49 +0000)]
mathql query generator interface patched

21 years agofirst checkin
Stefano Zacchiroli [Thu, 22 May 2003 07:33:44 +0000 (07:33 +0000)]
first checkin
- introduction
- outline
- auxiliary files

21 years agopatched
Ferruccio Guidi [Wed, 21 May 2003 11:00:31 +0000 (11:00 +0000)]
patched

21 years agoMathQL query generator: new interface
Ferruccio Guidi [Tue, 20 May 2003 14:52:11 +0000 (14:52 +0000)]
MathQL query generator: new interface

21 years agoSeveral changes:
Claudio Sacerdoti Coen [Thu, 15 May 2003 16:51:37 +0000 (16:51 +0000)]
Several changes:

1. the UWOBO_LOG_FILE environment variable semantics changed. It is now
   used in the following way: $UWOBO_LOG_FILE.pid.log
2. when the log file can not be opened, UWOBO used to crash. Instead,
   it now goes on and a nice error message is printed on the stderr
   (but, unfortunately, it is not given back to the user, since the
   error is raised in a new process and it can not be read back from
   the logfile!)

21 years agoThe semantics of the UWOBO_LOG variable has changed: the suffix ".log"
Claudio Sacerdoti Coen [Thu, 15 May 2003 16:31:05 +0000 (16:31 +0000)]
The semantics of the UWOBO_LOG variable has changed: the suffix ".log"
should not be in there any more.

21 years agoThe chmod ug+w in the all rule has been made non-critical.
Claudio Sacerdoti Coen [Thu, 15 May 2003 16:30:38 +0000 (16:30 +0000)]
The chmod ug+w in the all rule has been made non-critical.

21 years agoThis commit undoes part of the previous commit, where I mistakenly committed
Claudio Sacerdoti Coen [Thu, 15 May 2003 12:18:30 +0000 (12:18 +0000)]
This commit undoes part of the previous commit, where I mistakenly committed
parts of my laptop settings.

21 years agoNew: two methods have been added to kill UWOBO and to start a new session
Claudio Sacerdoti Coen [Thu, 15 May 2003 12:15:43 +0000 (12:15 +0000)]
New: two methods have been added to kill UWOBO and to start a new session
     (i.e. a new UWOBO process) listening on a given port)

21 years agoNew: two new methods added
Claudio Sacerdoti Coen [Thu, 15 May 2003 12:11:52 +0000 (12:11 +0000)]
New: two new methods added

* /newsession to create a new session on a given port (i.e. to fork a new
  UWOBO that starts listening on the new given port)
* /kill to ask an UWOBO to finish the execution

21 years agoMQueryInterpreter: interface updated
Ferruccio Guidi [Wed, 30 Apr 2003 13:56:57 +0000 (13:56 +0000)]
MQueryInterpreter: interface updated

21 years agoNew dependencies.
Claudio Sacerdoti Coen [Tue, 29 Apr 2003 16:16:02 +0000 (16:16 +0000)]
New dependencies.

21 years agoNew: stylesheets are now partially cached (i.e. all the stylesheets which
Claudio Sacerdoti Coen [Tue, 29 Apr 2003 16:14:25 +0000 (16:14 +0000)]
New: stylesheets are now partially cached (i.e. all the stylesheets which
are applied using an empty list of props are now precompiled only when
added or reloaded). See bug #75.

21 years agoNo more used since a long time.
Claudio Sacerdoti Coen [Mon, 28 Apr 2003 17:45:58 +0000 (17:45 +0000)]
No more used since a long time.

21 years agoWhen the stylesheet from TML to MathML generated a document without a root
Claudio Sacerdoti Coen [Mon, 28 Apr 2003 17:16:46 +0000 (17:16 +0000)]
When the stylesheet from TML to MathML generated a document without a root
an assertion failed. The new implementation creates an empty document
(with only a m:math root element) and prints an error message (using the
logger).

21 years agoThe stylesheet used to generate an empty (and not even well-formed) XML document
Claudio Sacerdoti Coen [Mon, 28 Apr 2003 17:15:18 +0000 (17:15 +0000)]
The stylesheet used to generate an empty (and not even well-formed) XML document
when given a document whose root element is tml:tex and whose only child
is a non-visible cursor. The problem is fixed generating a <m:math/> document
(ignoring the visibility status of the cursor).

21 years agoThe reset() method ignored the fact that the widget can be frozen. Fixed.
Claudio Sacerdoti Coen [Mon, 28 Apr 2003 17:13:39 +0000 (17:13 +0000)]
The reset() method ignored the fact that the widget can be frozen. Fixed.

21 years agopatch
Ferruccio Guidi [Wed, 23 Apr 2003 16:47:55 +0000 (16:47 +0000)]
patch

21 years agopatch
Ferruccio Guidi [Wed, 23 Apr 2003 15:15:18 +0000 (15:15 +0000)]
patch

21 years agopatch
Ferruccio Guidi [Wed, 23 Apr 2003 15:10:42 +0000 (15:10 +0000)]
patch

21 years agopatch
Ferruccio Guidi [Wed, 23 Apr 2003 12:35:39 +0000 (12:35 +0000)]
patch

21 years agopatch
Ferruccio Guidi [Wed, 23 Apr 2003 12:03:07 +0000 (12:03 +0000)]
patch

21 years ago- New interface for the MathQL interpreter (1.3 version)
Ferruccio Guidi [Wed, 23 Apr 2003 11:05:32 +0000 (11:05 +0000)]
- New interface for the MathQL interpreter (1.3 version)
- Two toplevels committed in ocaml/mathql_test (new directory)

21 years agoImproved exception catching.
Claudio Sacerdoti Coen [Tue, 22 Apr 2003 10:17:38 +0000 (10:17 +0000)]
Improved exception catching.

21 years agobugfix: print a better exception than "Not_found" when "baseuri"
Stefano Zacchiroli [Wed, 16 Apr 2003 15:41:30 +0000 (15:41 +0000)]
bugfix: print a better exception than "Not_found" when "baseuri"
parameter for "ls" method is empty or simply unparsable

21 years ago- removed unclear parameter on_exit
Claudio Sacerdoti Coen [Wed, 16 Apr 2003 14:14:45 +0000 (14:14 +0000)]
- removed unclear parameter on_exit
- renamed on_use_hint to use_hint_callback
- added method setUseHintCallback

21 years agoUse of Hbugs_deity for thread creation and killing.
Claudio Sacerdoti Coen [Wed, 16 Apr 2003 14:12:30 +0000 (14:12 +0000)]
Use of Hbugs_deity for thread creation and killing.

21 years agoSupport for optional state (empty XML element).
Claudio Sacerdoti Coen [Wed, 16 Apr 2003 14:11:28 +0000 (14:11 +0000)]
Support for optional state (empty XML element).

21 years ago- use an exception to handle empty status nodes
Stefano Zacchiroli [Wed, 16 Apr 2003 12:51:25 +0000 (12:51 +0000)]
- use an exception to handle empty status nodes
- removed some ancient comments

21 years agoupdated serialization test
Stefano Zacchiroli [Wed, 16 Apr 2003 12:49:35 +0000 (12:49 +0000)]
updated serialization test

21 years agono longer used (use HBUGS_MESSAGES.xml directly)
Stefano Zacchiroli [Wed, 16 Apr 2003 12:16:27 +0000 (12:16 +0000)]
no longer used (use HBUGS_MESSAGES.xml directly)

21 years ago- support None state
Claudio Sacerdoti Coen [Wed, 16 Apr 2003 12:04:35 +0000 (12:04 +0000)]
- support None state
- added (de)serialization of Too_late

21 years agoState_change can now contain a state of None indicating that the proof
Claudio Sacerdoti Coen [Wed, 16 Apr 2003 12:04:12 +0000 (12:04 +0000)]
State_change can now contain a state of None indicating that the proof
is completed

21 years agoadded "restart" target
Stefano Zacchiroli [Wed, 16 Apr 2003 11:44:28 +0000 (11:44 +0000)]
added "restart" target

21 years agoadded ocamlfind trick to trigger rebuild when some library's .cma has
Stefano Zacchiroli [Wed, 16 Apr 2003 10:05:09 +0000 (10:05 +0000)]
added ocamlfind trick to trigger rebuild when some library's .cma has
been changed

21 years agoadded support for slaves killing
Stefano Zacchiroli [Tue, 15 Apr 2003 15:47:42 +0000 (15:47 +0000)]
added support for slaves killing

21 years agoNuPrlDefinition element handling added
Claudio Sacerdoti Coen [Thu, 10 Apr 2003 17:11:46 +0000 (17:11 +0000)]
NuPrlDefinition element handling added

21 years agoextra_info hack removed
Claudio Sacerdoti Coen [Thu, 10 Apr 2003 17:05:40 +0000 (17:05 +0000)]
extra_info hack removed

21 years ago@uri attribute added to tacticinstance. A "Tactic details" hyperlink is
Claudio Sacerdoti Coen [Thu, 10 Apr 2003 17:04:01 +0000 (17:04 +0000)]
@uri attribute added to tacticinstance. A "Tactic details" hyperlink is
now automatically generated starting from it.

21 years agoThe UNICODEvsSYMBOL machinery is now working again.
Claudio Sacerdoti Coen [Thu, 10 Apr 2003 17:03:29 +0000 (17:03 +0000)]
The UNICODEvsSYMBOL machinery is now working again.

21 years agonuprl_content_to_html.xsl is not used. Let's definitely remove it.
Claudio Sacerdoti Coen [Tue, 8 Apr 2003 15:16:45 +0000 (15:16 +0000)]
nuprl_content_to_html.xsl is not used. Let's definitely remove it.

21 years agoFirst commit of the NuPRL stylesheets.
Claudio Sacerdoti Coen [Tue, 8 Apr 2003 14:44:51 +0000 (14:44 +0000)]
First commit of the NuPRL stylesheets.

21 years agokill instances of uwobo_forever.sh on stop
Stefano Zacchiroli [Tue, 8 Apr 2003 08:21:20 +0000 (08:21 +0000)]
kill instances of uwobo_forever.sh on stop

21 years ago- added support for UWOBO respawner
Stefano Zacchiroli [Tue, 8 Apr 2003 08:12:43 +0000 (08:12 +0000)]
- added support for UWOBO respawner
- added some newline related pretty printing

21 years agoadded UWOBO respawner script
Stefano Zacchiroli [Tue, 8 Apr 2003 08:12:17 +0000 (08:12 +0000)]
added UWOBO respawner script

21 years agogetter's panel check in
Stefano Zacchiroli [Mon, 7 Apr 2003 16:26:03 +0000 (16:26 +0000)]
getter's panel check in

21 years agoadded a TODO bug comment
Stefano Zacchiroli [Mon, 7 Apr 2003 16:06:12 +0000 (16:06 +0000)]
added a TODO bug comment

21 years agoignore comments and blank line in servers file
Stefano Zacchiroli [Mon, 7 Apr 2003 15:58:38 +0000 (15:58 +0000)]
ignore comments and blank line in servers file

21 years agomoved "is_blank_line" from Http_getter_common to Http_getter_misc
Stefano Zacchiroli [Mon, 7 Apr 2003 15:57:50 +0000 (15:57 +0000)]
moved "is_blank_line" from Http_getter_common to Http_getter_misc

21 years agoadded list_servers, {add,remove}_server methods to usage string
Stefano Zacchiroli [Mon, 7 Apr 2003 15:26:42 +0000 (15:26 +0000)]
added list_servers, {add,remove}_server methods to usage string

21 years agoupdat changelog with list_servers method addition
Stefano Zacchiroli [Mon, 7 Apr 2003 15:21:31 +0000 (15:21 +0000)]
updat changelog with list_servers method addition

21 years agoadded "/list_servers" method (actually used by the getter panel)
Stefano Zacchiroli [Mon, 7 Apr 2003 15:21:04 +0000 (15:21 +0000)]
added "/list_servers" method (actually used by the getter panel)

21 years ago- added "/add_server" and "/remove_server" to dynamically adjust servers
Stefano Zacchiroli [Mon, 7 Apr 2003 13:34:07 +0000 (13:34 +0000)]
- added "/add_server" and "/remove_server" to dynamically adjust servers
  list at runtime

21 years ago- added functions "add_server" and "remove_server" to dynamically adjust
Stefano Zacchiroli [Mon, 7 Apr 2003 13:33:42 +0000 (13:33 +0000)]
- added functions "add_server" and "remove_server" to dynamically adjust
  servers list at runtime

21 years ago- added functions "add_line" and "remove_line" to edit line oriented files
Stefano Zacchiroli [Mon, 7 Apr 2003 13:28:01 +0000 (13:28 +0000)]
- added functions "add_line" and "remove_line" to edit line oriented files
- use some Zack helpers intstead of reinventing the wheel

21 years agoadded "replace" method which interfaces Dbm.replace function
Stefano Zacchiroli [Mon, 7 Apr 2003 13:24:16 +0000 (13:24 +0000)]
added "replace" method which interfaces Dbm.replace function