]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2003-04-10 Claudio Sacerdoti... 1) fromdos on any html/* file
2003-04-04 Stefano Zacchiroli- no more CSCisms for MathML editor: now use mathml...
2003-04-02 Claudio Sacerdoti... We have a big architectural problem here: the Hbugs...
2003-04-02 Claudio Sacerdoti... Underscore must be quted in TeX. Fixed.
2003-03-19 Claudio Sacerdoti... I now register the gdome2-xslt call-back functions...
2003-03-19 Claudio Sacerdoti... '{' and '}' are now considered as blanks
2003-03-18 Claudio Sacerdoti... 1. internal links fixed
2003-03-18 Claudio Sacerdoti... NEW: manual added and linked to the interface.
2003-03-18 Claudio Sacerdoti... Added an hyperlink to the on-line manual.
2003-03-18 Claudio Sacerdoti... * New release of the client-side interface.
2003-03-18 Claudio Sacerdoti... Ooopps. I forgot this one.
2003-03-18 Claudio Sacerdoti... CVS repository fix: reversion of some lines (related...
2003-03-18 Claudio Sacerdoti... Pending changes on the checked-out repository committed...
2003-03-18 Claudio Sacerdoti... Pending changes in the checked-out repository committed...
2003-03-18 Claudio Sacerdoti... Partial upgrade to the new disambiguating lexer/parser.
2003-03-14 Claudio Sacerdoti... First committed version that (may) use the MathML edito...
2003-03-14 Claudio Sacerdoti... ...
2003-03-14 Claudio Sacerdoti... First committed version of the textual parser able...
2003-03-14 Claudio Sacerdoti... First commit towards more powerful disambiguation possi...
2003-03-14 Claudio Sacerdoti... Comment fixed.
2003-03-12 Claudio Sacerdoti... Bug introduced: the alias combo-box now accepts multipl...
2003-03-12 Claudio Sacerdoti... A dialog box is now opened when Restart is pushed while...
2003-03-12 Claudio Sacerdoti... Bug fixed: all the pages were not asked to the daemon...
2003-03-12 Claudio Sacerdoti... Many changes in the client-side interfaces:
2003-03-10 Claudio Sacerdoti... Big change: parenthesis can now be put in any place...
2003-03-07 Stefano Zacchiroliadded .cvsignore
2003-03-06 Stefano Zacchiroli- parse postgres connection string also from environmen...
2003-03-06 Stefano Zacchiroli- use new mquery generator module
2003-03-06 Stefano Zacchiroliadded META.helm-mquery_generator
2003-03-06 Stefano Zacchiroliminimal changes:
2003-02-20 Stefano Zacchirolibuild bytecode code by default
2003-02-20 Stefano Zacchirolibuild also mquery_generator module
2003-02-20 Stefano Zacchiroliadded dep on helm-mquery_generator
2003-02-20 Stefano Zacchiroliadded TacticChaser module to emebed functions which...
2003-02-20 Stefano Zacchirolidefined an explicit "status" type
2003-02-20 Stefano Zacchirolimoved mquery generation stuff in a new module
2003-02-20 Stefano Zacchiroli- added HBugs support
2003-02-20 Stefano Zacchiroli- added HBugs notification after tactic application
2003-02-20 Stefano Zacchiroli- added dependencies on hbugs-client, threads, helm...
2003-02-20 Stefano Zacchirolimoved mquery generation in ../ocaml/mquery_generator/
2003-02-20 Stefano Zacchiroli- added and exposed get_current_status_as_xml
2003-02-20 Stefano Zacchiroli- moved exception IllFormedUri, string_of_cic_textual_p...
2003-02-20 Stefano Zacchirolifixed references to functions moved from Misc to MQueryMisc
2003-02-20 Stefano Zacchiroliadded HBugs interface module for gTopLevel
2003-02-20 Stefano Zacchirolirebuilt
2003-02-19 Stefano Zacchiroliremoved tmp_dir no longer needed (it was used only...
2003-02-19 Stefano Zacchirolibugfix: use temporary file name to avoid file access...
2003-02-19 Stefano Zacchiroli- added pp_to_outchan and pp_to_string for other medium...
2003-02-05 Ferruccio GuidiMakefile patched
2003-02-05 Claudio Sacerdoti... Makefile.common.in and .depend backtracked to my last...
2003-02-05 Ferruccio Guidipackege dependences calculation patched
2003-02-05 Ferruccio Guidipackage dependences calulation fixed
2003-02-04 Ferruccio GuidiSQL quoting fixed in relation.ml
2003-02-04 Michele GalatàAdded new module DiscriminationTactics
2003-02-04 Michele GalatàAdded buttons for new tactics Injection and Discriminate
2003-02-04 Michele GalatàAdded module DiscriminationTactics with brand new tacti...
2003-02-03 Ferruccio Guidipatches for the new interface of text_of_query/text_of...
2003-02-03 Ferruccio Guidinew interface for text_of_query/text_of_result + bug...
2003-02-03 Claudio Sacerdoti... Dependency simplification.
2003-02-03 Claudio Sacerdoti... Minor module re-organization:
2003-01-31 Claudio Sacerdoti... ...
2003-01-31 Claudio Sacerdoti... The scratch window is now based on the sequent_viewer...
2003-01-31 Claudio Sacerdoti... Major module reorganization:
2003-01-30 Claudio Sacerdoti... 1. helmns and domImpl moved to the misc module ;-(
2003-01-30 Claudio Sacerdoti... Minor code reorganization:
2003-01-29 Claudio Sacerdoti... Tactics button rearranged.
2003-01-29 Claudio Sacerdoti... Clear and ClearBody moved to the pop-up menu.
2003-01-29 Claudio Sacerdoti... replace_lifting generalized to the simultaneous replace...
2003-01-29 Claudio Sacerdoti... ProofEngineHelpers.mk_fresh_name now used in place...
2003-01-29 Claudio Sacerdoti... 1. Added a callback to the generalize tactic to generat...
2003-01-29 Claudio Sacerdoti... Added a callback to the generalize tactic to generate...
2003-01-29 Claudio Sacerdoti... Generalize now works on a list of convertible terms...
2003-01-29 Claudio Sacerdoti... Generalize tactic moved to the contextual menu.
2003-01-29 Claudio Sacerdoti... New: we now have a new pop-up menu for the reduction...
2003-01-29 Claudio Sacerdoti... 1. All the reduction tactics have been modified to...
2003-01-29 Claudio Sacerdoti... All the reduction tactics have been modified to reduce...
2003-01-29 Claudio Sacerdoti... Multiple selection is now enabled in the goal and check...
2003-01-29 Claudio Sacerdoti... maction toggle restored
2003-01-29 Claudio Sacerdoti... Optional callbacks have been added to tactics that...
2003-01-28 Claudio Sacerdoti... Dead code removed.
2003-01-28 Claudio Sacerdoti... Decompose now has a new parameter which is the callback...
2003-01-28 Claudio Sacerdoti... Decompose now has a new parameter that is the callback...
2003-01-28 Claudio Sacerdoti... Fixed. It was no more working since the move of the...
2003-01-28 Stefano Zacchiroliadded META for module helm-tactics
2003-01-28 Stefano Zacchirolimoved tactics from gTopLevel to the new module ocaml...
2003-01-28 Stefano Zacchirolimoved tactics in ocaml/tactics
2003-01-27 Luca Padovani* very small fixes here and there
2003-01-24 Michele GalatàAdded Decompose tactic
2003-01-21 Stefano Zacchirolibugfix while printing MutInd and MutConstruct unresolve...
2003-01-21 Stefano Zacchiroliadded html templates and pages
2003-01-21 Stefano Zacchiroli- disambiguation implemented!
2003-01-21 Stefano Zacchiroli- added references to gTopLevel needed modules
2003-01-21 Claudio Sacerdoti... New module Disambiguate to hold:
2003-01-05 Stefano Zacchirolitypo: ')' mismatch
2002-12-23 Claudio Sacerdoti... Ambiguous parsing improved: refining is now used to...
2002-12-23 Claudio Sacerdoti... Refine can now also raise Uncertain. The exception...
2002-12-23 Claudio Sacerdoti... The interpretation function can now return also "Implicit".
2002-12-22 Claudio Sacerdoti... New: refinement is now used to disambiguate parsing.
2002-12-22 Claudio Sacerdoti... New constructs \x.T and !x.T introduced. They require...
2002-12-22 Claudio Sacerdoti... * First implementation of CicRefine
next