]> 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-07-02 Claudio Sacerdoti... Ctr+Backspace is now enabled. Used to perform "alternat... commit | commitdiff | tree | snapshot
2003-07-02 Claudio Sacerdoti... The editor window now scrolls when the user exceeds... commit | commitdiff | tree | snapshot
2003-07-01 Claudio Sacerdoti... - DoubleTypeInference.does_not_occur exposed commit | commitdiff | tree | snapshot
2003-07-01 Stefano Zacchiroli- changed changelog author to me (to GPG sign the package) commit | commitdiff | tree | snapshot
2003-07-01 Claudio Sacerdoti... 0.4.3-2 commit | commitdiff | tree | snapshot
2003-07-01 Claudio Sacerdoti... 1. freeze/thaw added to reduce flickering due to select... commit | commitdiff | tree | snapshot
2003-07-01 Claudio Sacerdoti... gtkmathview-config and gdome-config no longer used commit | commitdiff | tree | snapshot
2003-07-01 Stefano Zacchirolidebian release 0.0.4-6 commit | commitdiff | tree | snapshot
2003-07-01 Stefano Zacchirolimoved debhelper compatibility level to debian/compat commit | commitdiff | tree | snapshot
2003-06-30 Claudio Sacerdoti... - default font size of the proof window lowered to 10 commit | commitdiff | tree | snapshot
2003-06-29 Ferruccio Guidimathql_interpreter: natile-galax package removed from... commit | commitdiff | tree | snapshot
2003-06-27 Claudio Sacerdoti... The type of a LetIn is now a LetIn if and only if the... commit | commitdiff | tree | snapshot
2003-06-27 Claudio Sacerdoti... The "Save proof" menu item is now activated when a... commit | commitdiff | tree | snapshot
2003-06-27 Claudio Sacerdoti... Reindentation. commit | commitdiff | tree | snapshot
2003-06-27 Claudio Sacerdoti... Reloading bugged stylesheets no longer makes gTopLevel... commit | commitdiff | tree | snapshot
2003-06-27 Claudio Sacerdoti... Reload stylesheets menu entry added (under the Settings... commit | commitdiff | tree | snapshot
2003-06-27 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2003-06-26 Claudio Sacerdoti... http://....#Prop shortened to Prop due to a bug (featur... commit | commitdiff | tree | snapshot
2003-06-26 Claudio Sacerdoti... relativeDepth function removed (useful only for cooking) commit | commitdiff | tree | snapshot
2003-06-26 Claudio Sacerdoti... Metadata tools are now working correctly also over... commit | commitdiff | tree | snapshot
2003-06-26 Claudio Sacerdoti... The proof-checker should now be working also on .body... commit | commitdiff | tree | snapshot
2003-06-26 Claudio Sacerdoti... dropBodySuffix function added commit | commitdiff | tree | snapshot
2003-06-26 Claudio Sacerdoti... - Object URL link added commit | commitdiff | tree | snapshot
2003-06-26 Claudio Sacerdoti... Ported to the latest version of libhttp commit | commitdiff | tree | snapshot
2003-06-25 Stefano Zacchiroliadded tons of #include <cassert> to make latest gcc... commit | commitdiff | tree | snapshot
2003-06-25 Stefano Zacchirolipreliminar 0.0.3-2 debian release commit | commitdiff | tree | snapshot
2003-06-25 Stefano Zacchiroliforward ported to use pkg-config commit | commitdiff | tree | snapshot
2003-06-25 Andrea AspertiIt should have already been moved to ocaml/mathql_generator commit | commitdiff | tree | snapshot
2003-06-25 Claudio Sacerdoti... Removed (it should have already been in ocaml/tactics) commit | commitdiff | tree | snapshot
2003-06-24 Claudio Sacerdoti... Porting to the latest version of PXP (1.1.94). commit | commitdiff | tree | snapshot
2003-06-24 Claudio Sacerdoti... No longer in use. commit | commitdiff | tree | snapshot
2003-06-23 Claudio Sacerdoti... Branch V7_3_new_exportation merged. commit | commitdiff | tree | snapshot
2003-06-23 Claudio Sacerdoti... Branch V7_3_new_exportation merged. commit | commitdiff | tree | snapshot
2003-06-23 Claudio Sacerdoti... - help method added commit | commitdiff | tree | snapshot
2003-06-20 Ferruccio Guidistyles directory creation now works even if stylesheets... commit | commitdiff | tree | snapshot
2003-06-20 Ferruccio GuidiAuthor specification added in head comments; commit | commitdiff | tree | snapshot
2003-06-20 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2003-06-20 Claudio Sacerdoti... Installation instructions. commit | commitdiff | tree | snapshot
2003-06-20 Claudio Sacerdoti... - script.sh added to the repository: you should change... commit | commitdiff | tree | snapshot
2003-06-20 Claudio Sacerdoti... New version 0.0.3: commit | commitdiff | tree | snapshot
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
next
Unnamed repository; edit this file 'description' to name the repository.