]> 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-18 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2003-06-18 Claudio Sacerdoti... Porting to the new "long-identifiers" editex lexer. commit | commitdiff | tree | snapshot
2003-06-11 Claudio Sacerdoti... Multiple Prod branches did not have their inner-sorts... commit | commitdiff | tree | snapshot
2003-06-11 Claudio Sacerdoti... Reindentation. commit | commitdiff | tree | snapshot
2003-06-10 Claudio Sacerdoti... Added new target libraries.ps (and .dep.dot). commit | commitdiff | tree | snapshot
2003-06-03 Claudio Sacerdoti... Added the new target $(PACKAGE).ps to draw the dependen... commit | commitdiff | tree | snapshot
2003-06-03 Luca Padovani* added mysterious function (Claudio can detail on it) commit | commitdiff | tree | snapshot
2003-05-30 Luca Padovani* update (ask claudio for details) commit | commitdiff | tree | snapshot
2003-05-30 Luca Padovani* inner types file generation ported to V7_3_new_export... commit | commitdiff | tree | snapshot
2003-05-29 Claudio Sacerdoti... 1. minus binary operator added commit | commitdiff | tree | snapshot
2003-05-22 Ferruccio Guidimathql query generator interface patched commit | commitdiff | tree | snapshot
2003-05-21 Ferruccio Guidiattributes stripped from searchPattern query (as in... commit | commitdiff | tree | snapshot
2003-05-21 Ferruccio Guidimoved to helm/ocaml/mathql_test commit | commitdiff | tree | snapshot
2003-05-20 Ferruccio GuidiMathQL query generator: new interface commit | commitdiff | tree | snapshot
2003-05-07 Claudio Sacerdoti... New dictionary created to handle special syntax for... commit | commitdiff | tree | snapshot
2003-05-07 Claudio Sacerdoti... Interface change: the get_as_string and set_term method... commit | commitdiff | tree | snapshot
2003-05-06 Claudio Sacerdoti... New: the user can now refine the proposed constraints... commit | commitdiff | tree | snapshot
2003-04-30 Ferruccio GuidiMQueryInterpreter: interface updated commit | commitdiff | tree | snapshot
2003-04-28 Claudio Sacerdoti... freeze() & thaw() method put around "freeze() ; push... 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... New queries added: commit | commitdiff | tree | snapshot
2003-04-22 Claudio Sacerdoti... The two lexers now raise CicTextualParser0.LexerFailure... commit | commitdiff | tree | snapshot
2003-04-17 Claudio Sacerdoti... * "Invalid UWOBO Server" ==> "Untrusted UWOBO Server" commit | commitdiff | tree | snapshot
2003-04-17 Claudio Sacerdoti... * topurl was re-declared and used with two different... commit | commitdiff | tree | snapshot
2003-04-16 Claudio Sacerdoti... 1. param.name=value parameters added to the getpage... commit | commitdiff | tree | snapshot
2003-04-16 Stefano ZacchiroliAdded preprocess feature to "getpage" method. Using... commit | commitdiff | tree | snapshot
2003-04-16 Claudio Sacerdoti... The processorURL parameter must now be instantiated... commit | commitdiff | tree | snapshot
2003-04-16 Claudio Sacerdoti... * Hbugs interface clean-up. commit | commitdiff | tree | snapshot
2003-04-16 Claudio Sacerdoti... * Removed several try .... with _ -> (which make threa... commit | commitdiff | tree | snapshot
2003-04-16 Claudio Sacerdoti... Removed several try .... with _ -> (which make thread... commit | commitdiff | tree | snapshot
2003-04-16 Stefano Zacchirolicatch only PXP exceptions in xml_document to avoid... commit | commitdiff | tree | snapshot
2003-04-10 Claudio Sacerdoti... 1) fromdos on any html/* file commit | commitdiff | tree | snapshot
2003-04-04 Stefano Zacchiroli- no more CSCisms for MathML editor: now use mathml... commit | commitdiff | tree | snapshot
2003-04-02 Claudio Sacerdoti... We have a big architectural problem here: the Hbugs... commit | commitdiff | tree | snapshot
2003-04-02 Claudio Sacerdoti... Underscore must be quted in TeX. Fixed. commit | commitdiff | tree | snapshot
2003-03-19 Claudio Sacerdoti... I now register the gdome2-xslt call-back functions... commit | commitdiff | tree | snapshot
2003-03-19 Claudio Sacerdoti... '{' and '}' are now considered as blanks commit | commitdiff | tree | snapshot
2003-03-18 Claudio Sacerdoti... 1. internal links fixed commit | commitdiff | tree | snapshot
2003-03-18 Claudio Sacerdoti... NEW: manual added and linked to the interface. commit | commitdiff | tree | snapshot
2003-03-18 Claudio Sacerdoti... Added an hyperlink to the on-line manual. commit | commitdiff | tree | snapshot
2003-03-18 Claudio Sacerdoti... * New release of the client-side interface. commit | commitdiff | tree | snapshot
2003-03-18 Claudio Sacerdoti... Ooopps. I forgot this one. commit | commitdiff | tree | snapshot
2003-03-18 Claudio Sacerdoti... CVS repository fix: reversion of some lines (related... commit | commitdiff | tree | snapshot
2003-03-18 Claudio Sacerdoti... Pending changes on the checked-out repository committed... commit | commitdiff | tree | snapshot
2003-03-18 Claudio Sacerdoti... Pending changes in the checked-out repository committed... commit | commitdiff | tree | snapshot
2003-03-18 Claudio Sacerdoti... Partial upgrade to the new disambiguating lexer/parser. commit | commitdiff | tree | snapshot
2003-03-14 Claudio Sacerdoti... First committed version that (may) use the MathML edito... commit | commitdiff | tree | snapshot
2003-03-14 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2003-03-14 Claudio Sacerdoti... First committed version of the textual parser able... commit | commitdiff | tree | snapshot
2003-03-14 Claudio Sacerdoti... First commit towards more powerful disambiguation possi... commit | commitdiff | tree | snapshot
2003-03-14 Claudio Sacerdoti... Comment fixed. commit | commitdiff | tree | snapshot
2003-03-12 Claudio Sacerdoti... Bug introduced: the alias combo-box now accepts multipl... commit | commitdiff | tree | snapshot
2003-03-12 Claudio Sacerdoti... A dialog box is now opened when Restart is pushed while... commit | commitdiff | tree | snapshot
2003-03-12 Claudio Sacerdoti... Bug fixed: all the pages were not asked to the daemon... commit | commitdiff | tree | snapshot
2003-03-12 Claudio Sacerdoti... Many changes in the client-side interfaces: commit | commitdiff | tree | snapshot
2003-03-10 Claudio Sacerdoti... Big change: parenthesis can now be put in any place... commit | commitdiff | tree | snapshot
2003-03-07 Stefano Zacchiroliadded .cvsignore commit | commitdiff | tree | snapshot
2003-03-06 Stefano Zacchiroli- parse postgres connection string also from environmen... commit | commitdiff | tree | snapshot
2003-03-06 Stefano Zacchiroli- use new mquery generator module commit | commitdiff | tree | snapshot
2003-03-06 Stefano Zacchiroliadded META.helm-mquery_generator commit | commitdiff | tree | snapshot
2003-03-06 Stefano Zacchiroliminimal changes: commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchirolibuild bytecode code by default commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchirolibuild also mquery_generator module commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchiroliadded dep on helm-mquery_generator commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchiroliadded TacticChaser module to emebed functions which... commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchirolidefined an explicit "status" type commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchirolimoved mquery generation stuff in a new module commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchiroli- added HBugs support commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchiroli- added HBugs notification after tactic application commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchiroli- added dependencies on hbugs-client, threads, helm... commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchirolimoved mquery generation in ../ocaml/mquery_generator/ commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchiroli- added and exposed get_current_status_as_xml commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchiroli- moved exception IllFormedUri, string_of_cic_textual_p... commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchirolifixed references to functions moved from Misc to MQueryMisc commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchiroliadded HBugs interface module for gTopLevel commit | commitdiff | tree | snapshot
2003-02-20 Stefano Zacchirolirebuilt commit | commitdiff | tree | snapshot
2003-02-19 Stefano Zacchiroliremoved tmp_dir no longer needed (it was used only... commit | commitdiff | tree | snapshot
2003-02-19 Stefano Zacchirolibugfix: use temporary file name to avoid file access... commit | commitdiff | tree | snapshot
2003-02-19 Stefano Zacchiroli- added pp_to_outchan and pp_to_string for other medium... commit | commitdiff | tree | snapshot
2003-02-05 Ferruccio GuidiMakefile patched commit | commitdiff | tree | snapshot
2003-02-05 Claudio Sacerdoti... Makefile.common.in and .depend backtracked to my last... commit | commitdiff | tree | snapshot
2003-02-05 Ferruccio Guidipackege dependences calculation patched commit | commitdiff | tree | snapshot
2003-02-05 Ferruccio Guidipackage dependences calulation fixed commit | commitdiff | tree | snapshot
2003-02-04 Ferruccio GuidiSQL quoting fixed in relation.ml commit | commitdiff | tree | snapshot
2003-02-04 Michele GalatàAdded new module DiscriminationTactics commit | commitdiff | tree | snapshot
2003-02-04 Michele GalatàAdded buttons for new tactics Injection and Discriminate commit | commitdiff | tree | snapshot
2003-02-04 Michele GalatàAdded module DiscriminationTactics with brand new tacti... commit | commitdiff | tree | snapshot
2003-02-03 Ferruccio Guidipatches for the new interface of text_of_query/text_of... commit | commitdiff | tree | snapshot
2003-02-03 Ferruccio Guidinew interface for text_of_query/text_of_result + bug... commit | commitdiff | tree | snapshot
2003-02-03 Claudio Sacerdoti... Dependency simplification. commit | commitdiff | tree | snapshot
2003-02-03 Claudio Sacerdoti... Minor module re-organization: commit | commitdiff | tree | snapshot
2003-01-31 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2003-01-31 Claudio Sacerdoti... The scratch window is now based on the sequent_viewer... commit | commitdiff | tree | snapshot
2003-01-31 Claudio Sacerdoti... Major module reorganization: commit | commitdiff | tree | snapshot
2003-01-30 Claudio Sacerdoti... 1. helmns and domImpl moved to the misc module ;-( commit | commitdiff | tree | snapshot
2003-01-30 Claudio Sacerdoti... Minor code reorganization: commit | commitdiff | tree | snapshot
2003-01-29 Claudio Sacerdoti... Tactics button rearranged. commit | commitdiff | tree | snapshot
2003-01-29 Claudio Sacerdoti... Clear and ClearBody moved to the pop-up menu. commit | commitdiff | tree | snapshot
2003-01-29 Claudio Sacerdoti... replace_lifting generalized to the simultaneous replace... commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.