]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2003-07-02 Claudio Sacerdoti... Ctr+Backspace is now enabled. Used to perform "alternat...
2003-07-02 Claudio Sacerdoti... The editor window now scrolls when the user exceeds...
2003-07-01 Claudio Sacerdoti... - DoubleTypeInference.does_not_occur exposed
2003-07-01 Stefano Zacchiroli- changed changelog author to me (to GPG sign the package)
2003-07-01 Claudio Sacerdoti... 0.4.3-2
2003-07-01 Claudio Sacerdoti... 1. freeze/thaw added to reduce flickering due to select...
2003-07-01 Claudio Sacerdoti... gtkmathview-config and gdome-config no longer used
2003-07-01 Stefano Zacchirolidebian release 0.0.4-6
2003-07-01 Stefano Zacchirolimoved debhelper compatibility level to debian/compat
2003-06-30 Claudio Sacerdoti... - default font size of the proof window lowered to 10
2003-06-29 Ferruccio Guidimathql_interpreter: natile-galax package removed from...
2003-06-27 Claudio Sacerdoti... The type of a LetIn is now a LetIn if and only if the...
2003-06-27 Claudio Sacerdoti... The "Save proof" menu item is now activated when a...
2003-06-27 Claudio Sacerdoti... Reindentation.
2003-06-27 Claudio Sacerdoti... Reloading bugged stylesheets no longer makes gTopLevel...
2003-06-27 Claudio Sacerdoti... Reload stylesheets menu entry added (under the Settings...
2003-06-27 Claudio Sacerdoti... ...
2003-06-26 Claudio Sacerdoti... http://....#Prop shortened to Prop due to a bug (featur...
2003-06-26 Claudio Sacerdoti... relativeDepth function removed (useful only for cooking)
2003-06-26 Claudio Sacerdoti... Metadata tools are now working correctly also over...
2003-06-26 Claudio Sacerdoti... The proof-checker should now be working also on .body...
2003-06-26 Claudio Sacerdoti... dropBodySuffix function added
2003-06-26 Claudio Sacerdoti... - Object URL link added
2003-06-26 Claudio Sacerdoti... Ported to the latest version of libhttp
2003-06-25 Stefano Zacchiroliadded tons of #include <cassert> to make latest gcc...
2003-06-25 Stefano Zacchirolipreliminar 0.0.3-2 debian release
2003-06-25 Stefano Zacchiroliforward ported to use pkg-config
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
next