projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2003-05-15 Claudio Sacerdoti... New: two methods have been added to kill UWOBO and... commit | commitdiff | tree | snapshot
2003-05-15 Claudio Sacerdoti... New: two new methods added commit | commitdiff | tree | snapshot
2003-04-30 Ferruccio GuidiMQueryInterpreter: interface updated commit | commitdiff | tree | snapshot
2003-04-29 Claudio Sacerdoti... New dependencies. commit | commitdiff | tree | snapshot
2003-04-29 Claudio Sacerdoti... New: stylesheets are now partially cached (i.e. all... commit | commitdiff | tree | snapshot
2003-04-28 Claudio Sacerdoti... No more used since a long time. commit | commitdiff | tree | snapshot
2003-04-28 Claudio Sacerdoti... When the stylesheet from TML to MathML generated a... commit | commitdiff | tree | snapshot
2003-04-28 Claudio Sacerdoti... The stylesheet used to generate an empty (and not even... commit | commitdiff | tree | snapshot
2003-04-28 Claudio Sacerdoti... The reset() method ignored the fact that the widget... commit | commitdiff | tree | snapshot
2003-04-23 Ferruccio Guidipatch commit | commitdiff | tree | snapshot
2003-04-23 Ferruccio Guidipatch commit | commitdiff | tree | snapshot
2003-04-23 Ferruccio Guidipatch commit | commitdiff | tree | snapshot
2003-04-23 Ferruccio Guidipatch commit | commitdiff | tree | snapshot
2003-04-23 Ferruccio Guidipatch commit | commitdiff | tree | snapshot
2003-04-23 Ferruccio Guidi- New interface for the MathQL interpreter (1.3 version) commit | commitdiff | tree | snapshot
2003-04-22 Claudio Sacerdoti... Improved exception catching. commit | commitdiff | tree | snapshot
2003-04-16 Stefano Zacchirolibugfix: print a better exception than "Not_found" when... commit | commitdiff | tree | snapshot
2003-04-16 Claudio Sacerdoti... - removed unclear parameter on_exit commit | commitdiff | tree | snapshot
2003-04-16 Claudio Sacerdoti... Use of Hbugs_deity for thread creation and killing. commit | commitdiff | tree | snapshot
2003-04-16 Claudio Sacerdoti... Support for optional state (empty XML element). commit | commitdiff | tree | snapshot
2003-04-16 Stefano Zacchiroli- use an exception to handle empty status nodes commit | commitdiff | tree | snapshot
2003-04-16 Stefano Zacchiroliupdated serialization test commit | commitdiff | tree | snapshot
2003-04-16 Stefano Zacchirolino longer used (use HBUGS_MESSAGES.xml directly) commit | commitdiff | tree | snapshot
2003-04-16 Claudio Sacerdoti... - support None state commit | commitdiff | tree | snapshot
2003-04-16 Claudio Sacerdoti... State_change can now contain a state of None indicating... commit | commitdiff | tree | snapshot
2003-04-16 Stefano Zacchiroliadded "restart" target commit | commitdiff | tree | snapshot
2003-04-16 Stefano Zacchiroliadded ocamlfind trick to trigger rebuild when some... commit | commitdiff | tree | snapshot
2003-04-15 Stefano Zacchiroliadded support for slaves killing commit | commitdiff | tree | snapshot
2003-04-10 Claudio Sacerdoti... NuPrlDefinition element handling added commit | commitdiff | tree | snapshot
2003-04-10 Claudio Sacerdoti... extra_info hack removed commit | commitdiff | tree | snapshot
2003-04-10 Claudio Sacerdoti... @uri attribute added to tacticinstance. A "Tactic detai... commit | commitdiff | tree | snapshot
2003-04-10 Claudio Sacerdoti... The UNICODEvsSYMBOL machinery is now working again. commit | commitdiff | tree | snapshot
2003-04-08 Claudio Sacerdoti... nuprl_content_to_html.xsl is not used. Let's definitely... commit | commitdiff | tree | snapshot
2003-04-08 Claudio Sacerdoti... First commit of the NuPRL stylesheets. commit | commitdiff | tree | snapshot
2003-04-08 Stefano Zacchirolikill instances of uwobo_forever.sh on stop commit | commitdiff | tree | snapshot
2003-04-08 Stefano Zacchiroli- added support for UWOBO respawner commit | commitdiff | tree | snapshot
2003-04-08 Stefano Zacchiroliadded UWOBO respawner script commit | commitdiff | tree | snapshot
2003-04-07 Stefano Zacchiroligetter's panel check in commit | commitdiff | tree | snapshot
2003-04-07 Stefano Zacchiroliadded a TODO bug comment commit | commitdiff | tree | snapshot
2003-04-07 Stefano Zacchiroliignore comments and blank line in servers file commit | commitdiff | tree | snapshot
2003-04-07 Stefano Zacchirolimoved "is_blank_line" from Http_getter_common to Http_g... commit | commitdiff | tree | snapshot
2003-04-07 Stefano Zacchiroliadded list_servers, {add,remove}_server methods to... commit | commitdiff | tree | snapshot
2003-04-07 Stefano Zacchiroliupdat changelog with list_servers method addition commit | commitdiff | tree | snapshot
2003-04-07 Stefano Zacchiroliadded "/list_servers" method (actually used by the... commit | commitdiff | tree | snapshot
2003-04-07 Stefano Zacchiroli- added "/add_server" and "/remove_server" to dynamical... commit | commitdiff | tree | snapshot
2003-04-07 Stefano Zacchiroli- added functions "add_server" and "remove_server"... commit | commitdiff | tree | snapshot
2003-04-07 Stefano Zacchiroli- added functions "add_line" and "remove_line" to edit... commit | commitdiff | tree | snapshot
2003-04-07 Stefano Zacchiroliadded "replace" method which interfaces Dbm.replace... commit | commitdiff | tree | snapshot
2003-04-07 Stefano Zacchirolilink also zack's helpers commit | commitdiff | tree | snapshot
2003-04-07 Stefano Zacchirolirebuilt commit | commitdiff | tree | snapshot
2003-04-07 Stefano Zacchiroliadded zack's helpers commit | commitdiff | tree | snapshot
2003-04-06 Luca Padovani* new semantics with 2 continuations commit | commitdiff | tree | snapshot
2003-04-06 Luca Padovani* version with single continuation commit | commitdiff | tree | snapshot
2003-04-05 Luca Padovani* set-based + functional semantics commit | commitdiff | tree | snapshot
2003-04-04 Stefano Zacchirolimoved some constants from Http_daemon to Http_constants commit | commitdiff | tree | snapshot
2003-04-04 Luca Padovani* the documents passed to the ocaml binding have been... commit | commitdiff | tree | snapshot
2003-04-04 Luca Padovani* added missing / in path for default stylesheets commit | commitdiff | tree | snapshot
2003-04-04 Luca Padovani* added .mli file for the editor commit | commitdiff | tree | snapshot
2003-04-04 Stefano Zacchiroli- redesigned error and warning handling for libxslt commit | commitdiff | tree | snapshot
2003-04-03 Luca Padovani* major update in regular context language definition... commit | commitdiff | tree | snapshot
2003-04-02 Stefano Zacchiroliadded debian stuff, first release commit | commitdiff | tree | snapshot
2003-04-02 Luca Padovani* added dependency on the editor commit | commitdiff | tree | snapshot
2003-04-02 Luca Padovani* added depndencies to stdc++ library commit | commitdiff | tree | snapshot
2003-04-02 Luca Padovani* added dependencies to the ocaml shared stub lib commit | commitdiff | tree | snapshot
2003-04-02 Claudio Sacerdoti... Added the lines required to initialize and close the... commit | commitdiff | tree | snapshot
2003-04-02 Claudio Sacerdoti... Bugs fixed: commit | commitdiff | tree | snapshot
2003-04-02 Luca Padovani* removed commit | commitdiff | tree | snapshot
2003-04-02 Luca Padovani* mini-patch to dictionary commit | commitdiff | tree | snapshot
2003-04-02 Stefano Zacchirolidistribute also ocaml subdirs commit | commitdiff | tree | snapshot
2003-04-02 Stefano Zacchiroli- gcc 3.2 aware changes commit | commitdiff | tree | snapshot
2003-04-02 Stefano Zacchirolimade "xsl" dir autotools-aware commit | commitdiff | tree | snapshot
2003-04-02 Stefano Zacchiroligcc 3.2 aware changes commit | commitdiff | tree | snapshot
2003-04-02 Stefano ZacchiroliC++ 3.2 aware changes commit | commitdiff | tree | snapshot
2003-04-02 Stefano Zacchiroliadded config.dirs commit | commitdiff | tree | snapshot
2003-04-02 Stefano Zacchirolimade "examples" dir autotools-aware commit | commitdiff | tree | snapshot
2003-04-02 Stefano Zacchirolimoved dictionaries in a new "dict" directory commit | commitdiff | tree | snapshot
2003-04-01 Paolo MarinelliCorrected a wrong epsilon-rule in the Special Left... commit | commitdiff | tree | snapshot
2003-03-31 Paolo MarinelliAdded some rules in the Right Drop section and in the... commit | commitdiff | tree | snapshot
2003-03-31 Paolo MarinelliAdded some examples of Right Drop. commit | commitdiff | tree | snapshot
2003-03-31 Paolo MarinelliRemoved some obsolete commands. commit | commitdiff | tree | snapshot
2003-03-31 Paolo MarinelliAdded epsilon-rules concerning the left drop. commit | commitdiff | tree | snapshot
2003-03-30 Luca Padovani* added introduction + structure for next sections commit | commitdiff | tree | snapshot
2003-03-30 Paolo MarinelliAdded some rules to handle the generalized normal left... commit | commitdiff | tree | snapshot
2003-03-30 Paolo MarinelliAdded a rule in the epsilon-rules section (paragraph... commit | commitdiff | tree | snapshot
2003-03-29 Paolo MarinelliRemoved many rules in the "Left Drop" section. Every... commit | commitdiff | tree | snapshot
2003-03-28 Paolo MarinelliAdded some rules in the "Left Drop" section. commit | commitdiff | tree | snapshot
2003-03-27 Paolo MarinelliAdded some rules in the "Left Drop" section. commit | commitdiff | tree | snapshot
2003-03-26 Paolo MarinelliAdded some other rules in the "Left Drop" section. commit | commitdiff | tree | snapshot
2003-03-26 Paolo Marinelliadded an example of a long fxgrep expression commit | commitdiff | tree | snapshot
2003-03-25 Paolo MarinelliAdded some rules in the Left Drop section commit | commitdiff | tree | snapshot
2003-03-25 Stefano Zacchirolidebian release 0.0.4-4 commit | commitdiff | tree | snapshot
2003-03-25 Stefano Zacchirolibugfix: ships also -config script commit | commitdiff | tree | snapshot
2003-03-25 Stefano Zacchirolibumped policy version to 3.5.9 commit | commitdiff | tree | snapshot
2003-03-25 Stefano Zacchirolipretty print errors using red color instead of h1 text... commit | commitdiff | tree | snapshot
2003-03-25 Stefano Zacchirolireload/remove all stylesheets now prints also which... commit | commitdiff | tree | snapshot
2003-03-25 Stefano Zacchiroliadded keys method that list currently loaded stylesheet... commit | commitdiff | tree | snapshot
2003-03-25 Stefano Zacchiroliadded feedback for reload/remove methods (close #39) commit | commitdiff | tree | snapshot
2003-03-24 Luca Padovani* first draft of the formal specification commit | commitdiff | tree | snapshot
2003-03-21 Stefano Zacchirolibugfix: takes doc from "doc" dir commit | commitdiff | tree | snapshot
2003-03-21 Stefano Zacchiroliadded EXTRA_DIST and docs commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.