]> matita.cs.unibo.it Git - helm.git/history - helm
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
* changed version in configure.ac
[helm.git] / helm /
2003-07-01 Stefano Zacchirolidebian release 0.0.4-6 tree | commitdiff
2003-07-01 Stefano Zacchirolimoved debhelper compatibility level to debian/compat tree | commitdiff
2003-06-30 Claudio Sacerdoti... - default font size of the proof window lowered to 10 tree | commitdiff
2003-06-29 Ferruccio Guidimathql_interpreter: natile-galax package removed from... tree | commitdiff
2003-06-27 Claudio Sacerdoti... The type of a LetIn is now a LetIn if and only if the... tree | commitdiff
2003-06-27 Claudio Sacerdoti... The "Save proof" menu item is now activated when a... tree | commitdiff
2003-06-27 Claudio Sacerdoti... Reindentation. tree | commitdiff
2003-06-27 Claudio Sacerdoti... Reloading bugged stylesheets no longer makes gTopLevel... tree | commitdiff
2003-06-27 Claudio Sacerdoti... Reload stylesheets menu entry added (under the Settings... tree | commitdiff
2003-06-27 Claudio Sacerdoti... ... tree | commitdiff
2003-06-26 Claudio Sacerdoti... http://....#Prop shortened to Prop due to a bug (featur... tree | commitdiff
2003-06-26 Claudio Sacerdoti... relativeDepth function removed (useful only for cooking) tree | commitdiff
2003-06-26 Claudio Sacerdoti... Metadata tools are now working correctly also over... tree | commitdiff
2003-06-26 Claudio Sacerdoti... The proof-checker should now be working also on .body... tree | commitdiff
2003-06-26 Claudio Sacerdoti... dropBodySuffix function added tree | commitdiff
2003-06-26 Claudio Sacerdoti... - Object URL link added tree | commitdiff
2003-06-26 Claudio Sacerdoti... Ported to the latest version of libhttp tree | commitdiff
2003-06-25 Stefano Zacchiroliadded tons of #include <cassert> to make latest gcc... tree | commitdiff
2003-06-25 Stefano Zacchirolipreliminar 0.0.3-2 debian release tree | commitdiff
2003-06-25 Stefano Zacchiroliforward ported to use pkg-config tree | commitdiff
2003-06-25 Andrea AspertiIt should have already been moved to ocaml/mathql_generator tree | commitdiff
2003-06-25 Claudio Sacerdoti... Removed (it should have already been in ocaml/tactics) tree | commitdiff
2003-06-24 Claudio Sacerdoti... Porting to the latest version of PXP (1.1.94). tree | commitdiff
2003-06-24 Claudio Sacerdoti... No longer in use. tree | commitdiff
2003-06-23 Claudio Sacerdoti... Branch V7_3_new_exportation merged. tree | commitdiff
2003-06-23 Claudio Sacerdoti... Branch V7_3_new_exportation merged. tree | commitdiff
2003-06-23 Claudio Sacerdoti... - help method added tree | commitdiff
2003-06-20 Ferruccio Guidistyles directory creation now works even if stylesheets... tree | commitdiff
2003-06-20 Ferruccio GuidiAuthor specification added in head comments; tree | commitdiff
2003-06-20 Claudio Sacerdoti... ... tree | commitdiff
2003-06-20 Claudio Sacerdoti... Installation instructions. tree | commitdiff
2003-06-20 Claudio Sacerdoti... - script.sh added to the repository: you should change... tree | commitdiff
2003-06-20 Claudio Sacerdoti... New version 0.0.3: tree | commitdiff
2003-06-19 Claudio Sacerdoti... * mquery_interpreter logging and debugging activated tree | commitdiff
2003-06-19 Claudio Sacerdoti... The universe was the one of the complete search, not... tree | commitdiff
2003-06-19 Claudio Sacerdoti... Reindented tree | commitdiff
2003-06-19 Claudio Sacerdoti... Merge of the V7_3_new_exportation branch. tree | commitdiff
2003-06-19 Stefano Zacchiroliremoved old -config script tree | commitdiff
2003-06-19 Stefano Zacchiroli#include <cassert> patch tree | commitdiff
2003-06-19 Stefano Zacchirolidebian version 0.0.4-5 tree | commitdiff
2003-06-19 Claudio Sacerdoti... New version 0.0.2: tree | commitdiff
2003-06-19 Luca Padovani* added pkg-config stuff tree | commitdiff
2003-06-19 Stefano Zacchirolifixed autoconf variable @@ vs $() tree | commitdiff
2003-06-19 Ferruccio GuidiMathQL 1.3 ready for use tree | commitdiff
2003-06-19 Stefano Zacchirolidebian version 0.4.3 (maybe, not tested) tree | commitdiff
2003-06-19 Luca Padovani* removed *-config script invocations, now using pkg... tree | commitdiff
2003-06-19 Stefano Zacchirolibumped version to 0.4.3 tree | commitdiff
2003-06-18 Luca Padovani* added template for tml:s tree | commitdiff
2003-06-10 Claudio Sacerdoti... - tabs removed tree | commitdiff
2003-06-10 Claudio Sacerdoti... findlib introduced tree | commitdiff
2003-06-04 Luca Padovani* the non-empty cursor is now generated tree | commitdiff
2003-06-04 Luca Padovani* patched wrong commit (perhaps...) tree | commitdiff
2003-05-31 Ferruccio Guidinew syntax for "property" enabled: tree | commitdiff
2003-05-30 Claudio Sacerdoti... final ispell tree | commitdiff
2003-05-30 Claudio Sacerdoti... Minor modifications to the new session. tree | commitdiff
2003-05-30 Claudio Sacerdoti... ... tree | commitdiff
2003-05-30 Claudio Sacerdoti... ... tree | commitdiff
2003-05-30 Claudio Sacerdoti... color ==> gray tree | commitdiff
2003-05-30 Claudio Sacerdoti... ... tree | commitdiff
2003-05-30 Claudio Sacerdoti... New session (the H-Bugs interactive session). tree | commitdiff
2003-05-29 Stefano Zacchirolidraft review tree | commitdiff
2003-05-29 Claudio Sacerdoti... New ispell. tree | commitdiff
2003-05-29 Claudio Sacerdoti... Several other small changes here and there. tree | commitdiff
2003-05-29 Claudio Sacerdoti... ... tree | commitdiff
2003-05-29 Stefano Zacchirolithread handling reviewed tree | commitdiff
2003-05-29 Claudio Sacerdoti... Figure moved to the next page. tree | commitdiff
2003-05-29 Claudio Sacerdoti... Several editor notes resolved. tree | commitdiff
2003-05-29 Claudio Sacerdoti... Everything Ispell-ed. tree | commitdiff
2003-05-29 Claudio Sacerdoti... Other references added. tree | commitdiff
2003-05-29 Claudio Sacerdoti... A new references. tree | commitdiff
2003-05-29 Claudio Sacerdoti... Many references committed. tree | commitdiff
2003-05-29 Claudio Sacerdoti... Some editor notes closed. tree | commitdiff
2003-05-29 Claudio Sacerdoti... Lots of small changes in the text. tree | commitdiff
2003-05-28 Ferruccio Guidiextended syntax for add tree | commitdiff
2003-05-28 Claudio Sacerdoti... - several changes in all the parts that made comparison... tree | commitdiff
2003-05-28 Stefano Zacchiroliadded web-services' interfaces image tree | commitdiff
2003-05-28 Stefano Zacchiroli- reviewed latest CSC'comments tree | commitdiff
2003-05-27 Ferruccio Guidisite updated tree | commitdiff
2003-05-27 Claudio Sacerdoti... Several small changes to the parts committed by Zack. tree | commitdiff
2003-05-26 Stefano Zacchiroliadded status.eps tree | commitdiff
2003-05-26 Stefano Zacchiroliwritten section 3 tree | commitdiff
2003-05-23 Claudio Sacerdoti... First part of the chapter about tutors. The automatic... tree | commitdiff
2003-05-23 Stefano Zacchiroli- (badly) written section 2 (Architecture) tree | commitdiff
2003-05-23 Stefano Zacchiroliadded architecture figure tree | commitdiff
2003-05-23 Stefano Zacchiroliadded MONET's Math Obj Manager to conclusions tree | commitdiff
2003-05-23 Stefano Zacchiroliadded multiple invocations of latex tree | commitdiff
2003-05-23 Claudio Sacerdoti... Added all (???) the sections and their labels. tree | commitdiff
2003-05-23 Claudio Sacerdoti... Minor improvements in the introduction. tree | commitdiff
2003-05-23 Luca Padovani* fix in optional argument for ocaml binding tree | commitdiff
2003-05-22 Claudio Sacerdoti... - Introduction changed. tree | commitdiff
2003-05-22 Claudio Sacerdoti... ed and draftstamp packages committed and activated tree | commitdiff
2003-05-22 Ferruccio Guidimathql query generator interface patched tree | commitdiff
2003-05-22 Stefano Zacchirolifirst checkin tree | commitdiff
2003-05-21 Ferruccio Guidipatched tree | commitdiff
2003-05-20 Ferruccio GuidiMathQL query generator: new interface tree | commitdiff
2003-05-15 Claudio Sacerdoti... Several changes: tree | commitdiff
2003-05-15 Claudio Sacerdoti... The semantics of the UWOBO_LOG variable has changed... tree | commitdiff
2003-05-15 Claudio Sacerdoti... The chmod ug+w in the all rule has been made non-critical. tree | commitdiff
2003-05-15 Claudio Sacerdoti... This commit undoes part of the previous commit, where... tree | commitdiff
2003-05-15 Claudio Sacerdoti... New: two methods have been added to kill UWOBO and... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.