]> matita.cs.unibo.it Git - helm.git/shortlog
projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2003-06-19 Claudio Sacerdoti... * mquery_interpreter logging and debugging activated commit | commitdiff | tree | snapshot
2003-06-19 Claudio Sacerdoti... The universe was the one of the complete search, not... commit | commitdiff | tree | snapshot
2003-06-19 Claudio Sacerdoti... Reindented commit | commitdiff | tree | snapshot
2003-06-19 Claudio Sacerdoti... Merge of the V7_3_new_exportation branch. commit | commitdiff | tree | snapshot
2003-06-19 Stefano Zacchiroliremoved old -config script commit | commitdiff | tree | snapshot
2003-06-19 Stefano Zacchiroli#include <cassert> patch commit | commitdiff | tree | snapshot
2003-06-19 Stefano Zacchirolidebian version 0.0.4-5 commit | commitdiff | tree | snapshot
2003-06-19 Claudio Sacerdoti... New version 0.0.2: commit | commitdiff | tree | snapshot
2003-06-19 Luca Padovani* added pkg-config stuff commit | commitdiff | tree | snapshot
2003-06-19 Stefano Zacchirolifixed autoconf variable @@ vs $() commit | commitdiff | tree | snapshot
2003-06-19 Ferruccio GuidiMathQL 1.3 ready for use commit | commitdiff | tree | snapshot
2003-06-19 Stefano Zacchirolidebian version 0.4.3 (maybe, not tested) commit | commitdiff | tree | snapshot
2003-06-19 Luca Padovani* removed *-config script invocations, now using pkg... commit | commitdiff | tree | snapshot
2003-06-19 Stefano Zacchirolibumped version to 0.4.3 commit | commitdiff | tree | snapshot
2003-06-18 Claudio Sacerdoti... No longer used. commit | commitdiff | tree | snapshot
2003-06-18 Luca Padovani* added template for tml:s commit | commitdiff | tree | snapshot
2003-06-10 Claudio Sacerdoti... - tabs removed commit | commitdiff | tree | snapshot
2003-06-10 Claudio Sacerdoti... findlib introduced commit | commitdiff | tree | snapshot
2003-06-04 Luca Padovani* the non-empty cursor is now generated commit | commitdiff | tree | snapshot
2003-06-04 Luca Padovani* patched wrong commit (perhaps...) commit | commitdiff | tree | snapshot
2003-05-31 Ferruccio Guidinew syntax for "property" enabled: commit | commitdiff | tree | snapshot
2003-05-30 Claudio Sacerdoti... final ispell commit | commitdiff | tree | snapshot
2003-05-30 Claudio Sacerdoti... Minor modifications to the new session. commit | commitdiff | tree | snapshot
2003-05-30 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2003-05-30 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2003-05-30 Claudio Sacerdoti... color ==> gray commit | commitdiff | tree | snapshot
2003-05-30 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2003-05-30 Claudio Sacerdoti... New session (the H-Bugs interactive session). commit | commitdiff | tree | snapshot
2003-05-29 Stefano Zacchirolidraft review commit | commitdiff | tree | snapshot
2003-05-29 Claudio Sacerdoti... New ispell. commit | commitdiff | tree | snapshot
2003-05-29 Claudio Sacerdoti... Several other small changes here and there. commit | commitdiff | tree | snapshot
2003-05-29 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2003-05-29 Stefano Zacchirolithread handling reviewed commit | commitdiff | tree | snapshot
2003-05-29 Claudio Sacerdoti... Figure moved to the next page. commit | commitdiff | tree | snapshot
2003-05-29 Claudio Sacerdoti... Several editor notes resolved. commit | commitdiff | tree | snapshot
2003-05-29 Claudio Sacerdoti... Everything Ispell-ed. commit | commitdiff | tree | snapshot
2003-05-29 Claudio Sacerdoti... Other references added. commit | commitdiff | tree | snapshot
2003-05-29 Claudio Sacerdoti... A new references. commit | commitdiff | tree | snapshot
2003-05-29 Claudio Sacerdoti... Many references committed. commit | commitdiff | tree | snapshot
2003-05-29 Claudio Sacerdoti... Some editor notes closed. commit | commitdiff | tree | snapshot
2003-05-29 Claudio Sacerdoti... Lots of small changes in the text. commit | commitdiff | tree | snapshot
2003-05-28 Ferruccio Guidiextended syntax for add commit | commitdiff | tree | snapshot
2003-05-28 Claudio Sacerdoti... - several changes in all the parts that made comparison... commit | commitdiff | tree | snapshot
2003-05-28 Stefano Zacchiroliadded web-services' interfaces image commit | commitdiff | tree | snapshot
2003-05-28 Stefano Zacchiroli- reviewed latest CSC'comments commit | commitdiff | tree | snapshot
2003-05-27 Ferruccio Guidisite updated commit | commitdiff | tree | snapshot
2003-05-27 Claudio Sacerdoti... Several small changes to the parts committed by Zack. commit | commitdiff | tree | snapshot
2003-05-26 Stefano Zacchiroliadded status.eps commit | commitdiff | tree | snapshot
2003-05-26 Stefano Zacchiroliwritten section 3 commit | commitdiff | tree | snapshot
2003-05-23 Claudio Sacerdoti... First part of the chapter about tutors. The automatic... commit | commitdiff | tree | snapshot
2003-05-23 Stefano Zacchiroli- (badly) written section 2 (Architecture) commit | commitdiff | tree | snapshot
2003-05-23 Stefano Zacchiroliadded architecture figure commit | commitdiff | tree | snapshot
2003-05-23 Stefano Zacchiroliadded MONET's Math Obj Manager to conclusions commit | commitdiff | tree | snapshot
2003-05-23 Stefano Zacchiroliadded multiple invocations of latex commit | commitdiff | tree | snapshot
2003-05-23 Claudio Sacerdoti... Added all (???) the sections and their labels. commit | commitdiff | tree | snapshot
2003-05-23 Claudio Sacerdoti... Minor improvements in the introduction. commit | commitdiff | tree | snapshot
2003-05-23 Luca Padovani* fix in optional argument for ocaml binding commit | commitdiff | tree | snapshot
2003-05-22 Claudio Sacerdoti... - Introduction changed. commit | commitdiff | tree | snapshot
2003-05-22 Claudio Sacerdoti... ed and draftstamp packages committed and activated commit | commitdiff | tree | snapshot
2003-05-22 Ferruccio Guidimathql query generator interface patched commit | commitdiff | tree | snapshot
2003-05-22 Stefano Zacchirolifirst checkin commit | commitdiff | tree | snapshot
2003-05-21 Ferruccio Guidipatched commit | commitdiff | tree | snapshot
2003-05-20 Ferruccio GuidiMathQL query generator: new interface commit | commitdiff | tree | snapshot
2003-05-15 Claudio Sacerdoti... Several changes: commit | commitdiff | tree | snapshot
2003-05-15 Claudio Sacerdoti... The semantics of the UWOBO_LOG variable has changed... commit | commitdiff | tree | snapshot
2003-05-15 Claudio Sacerdoti... The chmod ug+w in the all rule has been made non-critical. commit | commitdiff | tree | snapshot
2003-05-15 Claudio Sacerdoti... This commit undoes part of the previous commit, where... commit | commitdiff | tree | snapshot
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
next
Unnamed repository; edit this file 'description' to name the repository.