matita.cs.unibo.it Git - helm.git/shortlog

]> matita.cs.unibo.it Git - helm.git/shortlog

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 Guidi	patch	commit \| commitdiff \| tree \| snapshot
2003-04-23	Ferruccio Guidi	patch	commit \| commitdiff \| tree \| snapshot
2003-04-23	Ferruccio Guidi	patch	commit \| commitdiff \| tree \| snapshot
2003-04-23	Ferruccio Guidi	patch	commit \| commitdiff \| tree \| snapshot
2003-04-23	Ferruccio Guidi	patch	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 Zacchiroli	bugfix: 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 Zacchiroli	updated serialization test	commit \| commitdiff \| tree \| snapshot
2003-04-16	Stefano Zacchiroli	no 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 Zacchiroli	added "restart" target	commit \| commitdiff \| tree \| snapshot
2003-04-16	Stefano Zacchiroli	added ocamlfind trick to trigger rebuild when some...	commit \| commitdiff \| tree \| snapshot
2003-04-15	Stefano Zacchiroli	added 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 Zacchiroli	kill 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 Zacchiroli	added UWOBO respawner script	commit \| commitdiff \| tree \| snapshot
2003-04-07	Stefano Zacchiroli	getter's panel check in	commit \| commitdiff \| tree \| snapshot
2003-04-07	Stefano Zacchiroli	added a TODO bug comment	commit \| commitdiff \| tree \| snapshot
2003-04-07	Stefano Zacchiroli	ignore comments and blank line in servers file	commit \| commitdiff \| tree \| snapshot
2003-04-07	Stefano Zacchiroli	moved "is_blank_line" from Http_getter_common to Http_g...	commit \| commitdiff \| tree \| snapshot
2003-04-07	Stefano Zacchiroli	added list_servers, {add,remove}_server methods to...	commit \| commitdiff \| tree \| snapshot
2003-04-07	Stefano Zacchiroli	updat changelog with list_servers method addition	commit \| commitdiff \| tree \| snapshot
2003-04-07	Stefano Zacchiroli	added "/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 Zacchiroli	added "replace" method which interfaces Dbm.replace...	commit \| commitdiff \| tree \| snapshot
2003-04-07	Stefano Zacchiroli	link also zack's helpers	commit \| commitdiff \| tree \| snapshot
2003-04-07	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2003-04-07	Stefano Zacchiroli	added 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 Zacchiroli	moved 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 Zacchiroli	added 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 Zacchiroli	distribute 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 Zacchiroli	made "xsl" dir autotools-aware	commit \| commitdiff \| tree \| snapshot
2003-04-02	Stefano Zacchiroli	gcc 3.2 aware changes	commit \| commitdiff \| tree \| snapshot
2003-04-02	Stefano Zacchiroli	C++ 3.2 aware changes	commit \| commitdiff \| tree \| snapshot
2003-04-02	Stefano Zacchiroli	added config.dirs	commit \| commitdiff \| tree \| snapshot
2003-04-02	Stefano Zacchiroli	made "examples" dir autotools-aware	commit \| commitdiff \| tree \| snapshot
2003-04-02	Stefano Zacchiroli	moved dictionaries in a new "dict" directory	commit \| commitdiff \| tree \| snapshot
2003-04-01	Paolo Marinelli	Corrected a wrong epsilon-rule in the Special Left...	commit \| commitdiff \| tree \| snapshot
2003-03-31	Paolo Marinelli	Added some rules in the Right Drop section and in the...	commit \| commitdiff \| tree \| snapshot
2003-03-31	Paolo Marinelli	Added some examples of Right Drop.	commit \| commitdiff \| tree \| snapshot
2003-03-31	Paolo Marinelli	Removed some obsolete commands.	commit \| commitdiff \| tree \| snapshot
2003-03-31	Paolo Marinelli	Added 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 Marinelli	Added some rules to handle the generalized normal left...	commit \| commitdiff \| tree \| snapshot
2003-03-30	Paolo Marinelli	Added a rule in the epsilon-rules section (paragraph...	commit \| commitdiff \| tree \| snapshot
2003-03-29	Paolo Marinelli	Removed many rules in the "Left Drop" section. Every...	commit \| commitdiff \| tree \| snapshot
2003-03-28	Paolo Marinelli	Added some rules in the "Left Drop" section.	commit \| commitdiff \| tree \| snapshot
2003-03-27	Paolo Marinelli	Added some rules in the "Left Drop" section.	commit \| commitdiff \| tree \| snapshot
2003-03-26	Paolo Marinelli	Added some other rules in the "Left Drop" section.	commit \| commitdiff \| tree \| snapshot
2003-03-26	Paolo Marinelli	added an example of a long fxgrep expression	commit \| commitdiff \| tree \| snapshot
2003-03-25	Paolo Marinelli	Added some rules in the Left Drop section	commit \| commitdiff \| tree \| snapshot
2003-03-25	Stefano Zacchiroli	debian release 0.0.4-4	commit \| commitdiff \| tree \| snapshot
2003-03-25	Stefano Zacchiroli	bugfix: ships also -config script	commit \| commitdiff \| tree \| snapshot
2003-03-25	Stefano Zacchiroli	bumped policy version to 3.5.9	commit \| commitdiff \| tree \| snapshot
2003-03-25	Stefano Zacchiroli	pretty print errors using red color instead of h1 text...	commit \| commitdiff \| tree \| snapshot
2003-03-25	Stefano Zacchiroli	reload/remove all stylesheets now prints also which...	commit \| commitdiff \| tree \| snapshot
2003-03-25	Stefano Zacchiroli	added keys method that list currently loaded stylesheet...	commit \| commitdiff \| tree \| snapshot
2003-03-25	Stefano Zacchiroli	added 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 Zacchiroli	bugfix: takes doc from "doc" dir	commit \| commitdiff \| tree \| snapshot
2003-03-21	Stefano Zacchiroli	added EXTRA_DIST and docs	commit \| commitdiff \| tree \| snapshot
2003-03-21	Stefano Zacchiroli	empty BUGS file	commit \| commitdiff \| tree \| snapshot
2003-03-21	Stefano Zacchiroli	removed ancient HELM stuff	commit \| commitdiff \| tree \| snapshot
2003-03-21	Stefano Zacchiroli	added sample configuration file	commit \| commitdiff \| tree \| snapshot
2003-03-21	Stefano Zacchiroli	- implemented distcheck target	commit \| commitdiff \| tree \| snapshot
2003-03-21	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
next

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom