- 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 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
- 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
Paolo Marinelli [Wed, 12 Feb 2003 09:16:56 +0000 (09:16 +0000)]
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.
Luca Padovani [Sat, 8 Feb 2003 22:13:29 +0000 (22:13 +0000)]
* 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
Paolo Marinelli [Thu, 6 Feb 2003 11:53:48 +0000 (11:53 +0000)]
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.
Paolo Marinelli [Tue, 4 Feb 2003 16:21:10 +0000 (16:21 +0000)]
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.
Luca Padovani [Fri, 31 Jan 2003 09:13:55 +0000 (09:13 +0000)]
* code cleanup
* added logger class and a simple implementation on console
* moved transformation code from test into a mathml factory class
* added .cvsignore files
Paolo Marinelli [Thu, 30 Jan 2003 21:15:41 +0000 (21:15 +0000)]
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.
Paolo Marinelli [Mon, 27 Jan 2003 16:34:49 +0000 (16:34 +0000)]
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".
Luca Padovani [Mon, 27 Jan 2003 14:21:24 +0000 (14:21 +0000)]
* binding update to recognize the new event scheme generated by
gtkmathview
* some code for handling maction elements has been moved into the
compatibility class
Luca Padovani [Thu, 23 Jan 2003 16:14:40 +0000 (16:14 +0000)]
* restored binding with gtkmathview 0.4.0
* added compatibility class for single selection and gtkmathview
* added prototype of multiple selection gtkmathview (likely to change)
Paolo Marinelli [Tue, 21 Jan 2003 11:42:16 +0000 (11:42 +0000)]
A first partial implementation of deleting is introduced. The user might
want to delete in two ways: a deleting mode near to what he has actually
typed (textual mode) and a deleting mode near to what screen shows (graphical
mode). Only a partial implementation of the second mode is provided. The user
can delete a macro he is typing, a group, an identifier, a number, a
superscript and a subscript. To delete in graphical mode the user has to type
BACKSPACE.
Added the following private methods to TPushParser class:
void do_gdelete(void)
void gdelete_prev(void)
Added the entry GDELETE to the TCat enum defined in the TToken struct.
- generalized sysLogger class so that it logs to a generic output
channel, now it can be used to log also to files, sockets, ...
- better pretty printing of debugging messages: timestamps added
- fixed copyright notice
MAJOR CHANGES:
- doesn't use thread anymore, use process with a master process which
uses two pipes to chat about stylesheets related changes, if the
stylesheet list needs a change master process kills the child process
holding the Http daemon, performs the needed changes to the stylesheet
list and runs a new Http daemon child process
MINOR CHANGES:
- disabled debugging by default
- use logfile support and log to "uwobo.log" by default
- changed default port to 58080
- moved http response facilities to Uwobo_common
- moved usage string to Uwobo_common
- fixed copyright notice
- added support for shutdown of servers' socket on abnormal exits
(actually SIGTERM or uncaught exceptions)
- deprecated use of 'ocaml_builtin' server (removed from .mli too)
projects / helm.git / log