]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2003-06-25 Andrea AspertiIt should have already been moved to ocaml/mathql_generator
2003-06-25 Claudio Sacerdoti... Removed (it should have already been in ocaml/tactics)
2003-06-24 Claudio Sacerdoti... Porting to the latest version of PXP (1.1.94).
2003-06-24 Claudio Sacerdoti... No longer in use.
2003-06-23 Claudio Sacerdoti... Branch V7_3_new_exportation merged.
2003-06-23 Claudio Sacerdoti... Branch V7_3_new_exportation merged.
2003-06-23 Claudio Sacerdoti... - help method added
2003-06-20 Ferruccio Guidistyles directory creation now works even if stylesheets...
2003-06-20 Ferruccio GuidiAuthor specification added in head comments;
2003-06-20 Claudio Sacerdoti... ...
2003-06-20 Claudio Sacerdoti... Installation instructions.
2003-06-20 Claudio Sacerdoti... - script.sh added to the repository: you should change...
2003-06-20 Claudio Sacerdoti... New version 0.0.3:
2003-06-19 Claudio Sacerdoti... * mquery_interpreter logging and debugging activated
2003-06-19 Claudio Sacerdoti... The universe was the one of the complete search, not...
2003-06-19 Claudio Sacerdoti... Reindented
2003-06-19 Claudio Sacerdoti... Merge of the V7_3_new_exportation branch.
2003-06-19 Stefano Zacchiroliremoved old -config script
2003-06-19 Stefano Zacchiroli#include <cassert> patch
2003-06-19 Stefano Zacchirolidebian version 0.0.4-5
2003-06-19 Claudio Sacerdoti... New version 0.0.2:
2003-06-19 Luca Padovani* added pkg-config stuff
2003-06-19 Stefano Zacchirolifixed autoconf variable @@ vs $()
2003-06-19 Ferruccio GuidiMathQL 1.3 ready for use
2003-06-19 Stefano Zacchirolidebian version 0.4.3 (maybe, not tested)
2003-06-19 Luca Padovani* removed *-config script invocations, now using pkg...
2003-06-19 Stefano Zacchirolibumped version to 0.4.3
2003-06-18 Claudio Sacerdoti... No longer used.
2003-06-18 Luca Padovani* added template for tml:s
2003-06-10 Claudio Sacerdoti... - tabs removed
2003-06-10 Claudio Sacerdoti... findlib introduced
2003-06-04 Luca Padovani* the non-empty cursor is now generated
2003-06-04 Luca Padovani* patched wrong commit (perhaps...)
2003-05-31 Ferruccio Guidinew syntax for "property" enabled:
2003-05-30 Claudio Sacerdoti... final ispell
2003-05-30 Claudio Sacerdoti... Minor modifications to the new session.
2003-05-30 Claudio Sacerdoti... ...
2003-05-30 Claudio Sacerdoti... ...
2003-05-30 Claudio Sacerdoti... color ==> gray
2003-05-30 Claudio Sacerdoti... ...
2003-05-30 Claudio Sacerdoti... New session (the H-Bugs interactive session).
2003-05-29 Stefano Zacchirolidraft review
2003-05-29 Claudio Sacerdoti... New ispell.
2003-05-29 Claudio Sacerdoti... Several other small changes here and there.
2003-05-29 Claudio Sacerdoti... ...
2003-05-29 Stefano Zacchirolithread handling reviewed
2003-05-29 Claudio Sacerdoti... Figure moved to the next page.
2003-05-29 Claudio Sacerdoti... Several editor notes resolved.
2003-05-29 Claudio Sacerdoti... Everything Ispell-ed.
2003-05-29 Claudio Sacerdoti... Other references added.
2003-05-29 Claudio Sacerdoti... A new references.
2003-05-29 Claudio Sacerdoti... Many references committed.
2003-05-29 Claudio Sacerdoti... Some editor notes closed.
2003-05-29 Claudio Sacerdoti... Lots of small changes in the text.
2003-05-28 Ferruccio Guidiextended syntax for add
2003-05-28 Claudio Sacerdoti... - several changes in all the parts that made comparison...
2003-05-28 Stefano Zacchiroliadded web-services' interfaces image
2003-05-28 Stefano Zacchiroli- reviewed latest CSC'comments
2003-05-27 Ferruccio Guidisite updated
2003-05-27 Claudio Sacerdoti... Several small changes to the parts committed by Zack.
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).
next