]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2003-05-26 Stefano Zacchiroliadded status.eps
2003-05-26 Stefano Zacchiroliwritten section 3
2003-05-23 Claudio Sacerdoti... First part of the chapter about tutors. The automatic...
2003-05-23 Stefano Zacchiroli- (badly) written section 2 (Architecture)
2003-05-23 Stefano Zacchiroliadded architecture figure
2003-05-23 Stefano Zacchiroliadded MONET's Math Obj Manager to conclusions
2003-05-23 Stefano Zacchiroliadded multiple invocations of latex
2003-05-23 Claudio Sacerdoti... Added all (???) the sections and their labels.
2003-05-23 Claudio Sacerdoti... Minor improvements in the introduction.
2003-05-23 Luca Padovani* fix in optional argument for ocaml binding
2003-05-22 Claudio Sacerdoti... - Introduction changed.
2003-05-22 Claudio Sacerdoti... ed and draftstamp packages committed and activated
2003-05-22 Ferruccio Guidimathql query generator interface patched
2003-05-22 Stefano Zacchirolifirst checkin
2003-05-21 Ferruccio Guidipatched
2003-05-20 Ferruccio GuidiMathQL query generator: new interface
2003-05-15 Claudio Sacerdoti... Several changes:
2003-05-15 Claudio Sacerdoti... The semantics of the UWOBO_LOG variable has changed...
2003-05-15 Claudio Sacerdoti... The chmod ug+w in the all rule has been made non-critical.
2003-05-15 Claudio Sacerdoti... This commit undoes part of the previous commit, where...
2003-05-15 Claudio Sacerdoti... New: two methods have been added to kill UWOBO and...
2003-05-15 Claudio Sacerdoti... New: two new methods added
2003-04-30 Ferruccio GuidiMQueryInterpreter: interface updated
2003-04-29 Claudio Sacerdoti... New dependencies.
2003-04-29 Claudio Sacerdoti... New: stylesheets are now partially cached (i.e. all...
2003-04-28 Claudio Sacerdoti... No more used since a long time.
2003-04-28 Claudio Sacerdoti... When the stylesheet from TML to MathML generated a...
2003-04-28 Claudio Sacerdoti... The stylesheet used to generate an empty (and not even...
2003-04-28 Claudio Sacerdoti... The reset() method ignored the fact that the widget...
2003-04-23 Ferruccio Guidipatch
2003-04-23 Ferruccio Guidipatch
2003-04-23 Ferruccio Guidipatch
2003-04-23 Ferruccio Guidipatch
2003-04-23 Ferruccio Guidipatch
2003-04-23 Ferruccio Guidi- New interface for the MathQL interpreter (1.3 version)
2003-04-22 Claudio Sacerdoti... Improved exception catching.
2003-04-16 Stefano Zacchirolibugfix: print a better exception than "Not_found" when...
2003-04-16 Claudio Sacerdoti... - removed unclear parameter on_exit
2003-04-16 Claudio Sacerdoti... Use of Hbugs_deity for thread creation and killing.
2003-04-16 Claudio Sacerdoti... Support for optional state (empty XML element).
2003-04-16 Stefano Zacchiroli- use an exception to handle empty status nodes
2003-04-16 Stefano Zacchiroliupdated serialization test
2003-04-16 Stefano Zacchirolino longer used (use HBUGS_MESSAGES.xml directly)
2003-04-16 Claudio Sacerdoti... - support None state
2003-04-16 Claudio Sacerdoti... State_change can now contain a state of None indicating...
2003-04-16 Stefano Zacchiroliadded "restart" target
2003-04-16 Stefano Zacchiroliadded ocamlfind trick to trigger rebuild when some...
2003-04-15 Stefano Zacchiroliadded support for slaves killing
2003-04-10 Claudio Sacerdoti... NuPrlDefinition element handling added
2003-04-10 Claudio Sacerdoti... extra_info hack removed
2003-04-10 Claudio Sacerdoti... @uri attribute added to tacticinstance. A "Tactic detai...
2003-04-10 Claudio Sacerdoti... The UNICODEvsSYMBOL machinery is now working again.
2003-04-08 Claudio Sacerdoti... nuprl_content_to_html.xsl is not used. Let's definitely...
2003-04-08 Claudio Sacerdoti... First commit of the NuPRL stylesheets.
2003-04-08 Stefano Zacchirolikill instances of uwobo_forever.sh on stop
2003-04-08 Stefano Zacchiroli- added support for UWOBO respawner
2003-04-08 Stefano Zacchiroliadded UWOBO respawner script
2003-04-07 Stefano Zacchiroligetter's panel check in
2003-04-07 Stefano Zacchiroliadded a TODO bug comment
2003-04-07 Stefano Zacchiroliignore comments and blank line in servers file
2003-04-07 Stefano Zacchirolimoved "is_blank_line" from Http_getter_common to Http_g...
2003-04-07 Stefano Zacchiroliadded list_servers, {add,remove}_server methods to...
2003-04-07 Stefano Zacchiroliupdat changelog with list_servers method addition
2003-04-07 Stefano Zacchiroliadded "/list_servers" method (actually used by the...
2003-04-07 Stefano Zacchiroli- added "/add_server" and "/remove_server" to dynamical...
2003-04-07 Stefano Zacchiroli- added functions "add_server" and "remove_server"...
2003-04-07 Stefano Zacchiroli- added functions "add_line" and "remove_line" to edit...
2003-04-07 Stefano Zacchiroliadded "replace" method which interfaces Dbm.replace...
2003-04-07 Stefano Zacchirolilink also zack's helpers
2003-04-07 Stefano Zacchirolirebuilt
2003-04-07 Stefano Zacchiroliadded zack's helpers
2003-04-06 Luca Padovani* new semantics with 2 continuations
2003-04-06 Luca Padovani* version with single continuation
2003-04-05 Luca Padovani* set-based + functional semantics
2003-04-04 Stefano Zacchirolimoved some constants from Http_daemon to Http_constants
2003-04-04 Luca Padovani* the documents passed to the ocaml binding have been...
2003-04-04 Luca Padovani* added missing / in path for default stylesheets
2003-04-04 Luca Padovani* added .mli file for the editor
2003-04-04 Stefano Zacchiroli- redesigned error and warning handling for libxslt
2003-04-03 Luca Padovani* major update in regular context language definition...
2003-04-02 Stefano Zacchiroliadded debian stuff, first release
2003-04-02 Luca Padovani* added dependency on the editor
2003-04-02 Luca Padovani* added depndencies to stdc++ library
2003-04-02 Luca Padovani* added dependencies to the ocaml shared stub lib
2003-04-02 Claudio Sacerdoti... Added the lines required to initialize and close the...
2003-04-02 Claudio Sacerdoti... Bugs fixed:
2003-04-02 Luca Padovani* removed
2003-04-02 Luca Padovani* mini-patch to dictionary
2003-04-02 Stefano Zacchirolidistribute also ocaml subdirs
2003-04-02 Stefano Zacchiroli- gcc 3.2 aware changes
2003-04-02 Stefano Zacchirolimade "xsl" dir autotools-aware
2003-04-02 Stefano Zacchiroligcc 3.2 aware changes
2003-04-02 Stefano ZacchiroliC++ 3.2 aware changes
2003-04-02 Stefano Zacchiroliadded config.dirs
2003-04-02 Stefano Zacchirolimade "examples" dir autotools-aware
2003-04-02 Stefano Zacchirolimoved dictionaries in a new "dict" directory
2003-04-01 Paolo MarinelliCorrected a wrong epsilon-rule in the Special Left...
2003-03-31 Paolo MarinelliAdded some rules in the Right Drop section and in the...
2003-03-31 Paolo MarinelliAdded some examples of Right Drop.
2003-03-31 Paolo MarinelliRemoved some obsolete commands.
next