]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
added sort CProp
[helm.git] / helm / ocaml /
2003-06-18 Claudio Sacerdoti... ... tree | commitdiff
2003-06-18 Claudio Sacerdoti... Porting to the new "long-identifiers" editex lexer. tree | commitdiff
2003-06-10 Claudio Sacerdoti... Added new target libraries.ps (and .dep.dot). tree | commitdiff
2003-06-03 Claudio Sacerdoti... Added the new target $(PACKAGE).ps to draw the dependen... tree | commitdiff
2003-05-29 Claudio Sacerdoti... 1. minus binary operator added tree | commitdiff
2003-05-22 Ferruccio Guidimathql query generator interface patched tree | commitdiff
2003-05-21 Ferruccio Guidiattributes stripped from searchPattern query (as in... tree | commitdiff
2003-05-20 Ferruccio GuidiMathQL query generator: new interface tree | commitdiff
2003-04-30 Ferruccio GuidiMQueryInterpreter: interface updated tree | commitdiff
2003-04-23 Ferruccio Guidipatch tree | commitdiff
2003-04-23 Ferruccio Guidi- New interface for the MathQL interpreter (1.3 version) tree | commitdiff
2003-04-22 Claudio Sacerdoti... The two lexers now raise CicTextualParser0.LexerFailure... tree | commitdiff
2003-04-16 Claudio Sacerdoti... * Removed several try .... with _ -> (which make threa... tree | commitdiff
2003-04-16 Claudio Sacerdoti... Removed several try .... with _ -> (which make thread... tree | commitdiff
2003-04-16 Stefano Zacchirolicatch only PXP exceptions in xml_document to avoid... tree | commitdiff
2003-04-02 Claudio Sacerdoti... Underscore must be quted in TeX. Fixed. tree | commitdiff
2003-03-19 Claudio Sacerdoti... '{' and '}' are now considered as blanks tree | commitdiff
2003-03-18 Claudio Sacerdoti... Ooopps. I forgot this one. tree | commitdiff
2003-03-14 Claudio Sacerdoti... ... tree | commitdiff
2003-03-14 Claudio Sacerdoti... First committed version of the textual parser able... tree | commitdiff
2003-03-14 Claudio Sacerdoti... First commit towards more powerful disambiguation possi... tree | commitdiff
2003-03-14 Claudio Sacerdoti... Comment fixed. tree | commitdiff
2003-03-10 Claudio Sacerdoti... Big change: parenthesis can now be put in any place... tree | commitdiff
2003-03-07 Stefano Zacchiroliadded .cvsignore tree | commitdiff
2003-03-06 Stefano Zacchiroliadded META.helm-mquery_generator tree | commitdiff
2003-02-20 Stefano Zacchirolibuild also mquery_generator module tree | commitdiff
2003-02-20 Stefano Zacchiroliadded dep on helm-mquery_generator tree | commitdiff
2003-02-20 Stefano Zacchiroliadded TacticChaser module to emebed functions which... tree | commitdiff
2003-02-20 Stefano Zacchirolidefined an explicit "status" type tree | commitdiff
2003-02-20 Stefano Zacchirolimoved mquery generation stuff in a new module tree | commitdiff
2003-02-19 Stefano Zacchiroliremoved tmp_dir no longer needed (it was used only... tree | commitdiff
2003-02-19 Stefano Zacchirolibugfix: use temporary file name to avoid file access... tree | commitdiff
2003-02-19 Stefano Zacchiroli- added pp_to_outchan and pp_to_string for other medium... tree | commitdiff
2003-02-05 Claudio Sacerdoti... Makefile.common.in and .depend backtracked to my last... tree | commitdiff
2003-02-05 Ferruccio Guidipackege dependences calculation patched tree | commitdiff
2003-02-05 Ferruccio Guidipackage dependences calulation fixed tree | commitdiff
2003-02-04 Ferruccio GuidiSQL quoting fixed in relation.ml tree | commitdiff
2003-02-04 Michele GalatàAdded new module DiscriminationTactics tree | commitdiff
2003-02-04 Michele GalatàAdded module DiscriminationTactics with brand new tacti... tree | commitdiff
2003-02-03 Ferruccio Guidinew interface for text_of_query/text_of_result + bug... tree | commitdiff
2003-01-29 Claudio Sacerdoti... replace_lifting generalized to the simultaneous replace... tree | commitdiff
2003-01-29 Claudio Sacerdoti... ProofEngineHelpers.mk_fresh_name now used in place... tree | commitdiff
2003-01-29 Claudio Sacerdoti... 1. Added a callback to the generalize tactic to generat... tree | commitdiff
2003-01-29 Claudio Sacerdoti... Generalize now works on a list of convertible terms... tree | commitdiff
2003-01-29 Claudio Sacerdoti... All the reduction tactics have been modified to reduce... tree | commitdiff
2003-01-29 Claudio Sacerdoti... Optional callbacks have been added to tactics that... tree | commitdiff
2003-01-28 Claudio Sacerdoti... Dead code removed. tree | commitdiff
2003-01-28 Claudio Sacerdoti... Decompose now has a new parameter that is the callback... tree | commitdiff
2003-01-28 Stefano Zacchiroliadded META for module helm-tactics tree | commitdiff
2003-01-28 Stefano Zacchirolimoved tactics from gTopLevel to the new module ocaml... tree | commitdiff
2003-01-21 Stefano Zacchirolibugfix while printing MutInd and MutConstruct unresolve... tree | commitdiff
2003-01-05 Stefano Zacchirolitypo: ')' mismatch tree | commitdiff
2002-12-23 Claudio Sacerdoti... Refine can now also raise Uncertain. The exception... tree | commitdiff
2002-12-23 Claudio Sacerdoti... The interpretation function can now return also "Implicit". tree | commitdiff
2002-12-22 Claudio Sacerdoti... New constructs \x.T and !x.T introduced. They require... tree | commitdiff
2002-12-22 Claudio Sacerdoti... * First implementation of CicRefine tree | commitdiff
2002-12-20 Luca Padovani* if no configuration file is found, issue a warning... tree | commitdiff
2002-12-04 Claudio Sacerdoti... Completely broken parsing of Fix and CoFix fixed. tree | commitdiff
2002-12-03 Claudio Sacerdoti... put_inductive_definition implemented and exposed. tree | commitdiff
2002-12-03 Claudio Sacerdoti... typecheck_mutual_inductive_defs exposed. tree | commitdiff
2002-12-03 Claudio Sacerdoti... An exception was raised when a MutInd or MutConstruct... tree | commitdiff
2002-12-02 Claudio Sacerdoti... Brand new implementation based on functors taking a... tree | commitdiff
2002-11-27 Claudio Sacerdoti... lazily ==> call_by_name (since it is really a call_by_n... tree | commitdiff
2002-11-27 natileRelation patched, property added. tree | commitdiff
2002-11-19 Claudio Sacerdoti... innertypesuri_of_uri implemented tree | commitdiff
2002-11-18 Claudio Sacerdoti... Aliases definition removed from the tree | commitdiff
2002-11-18 Claudio Sacerdoti... Identifier added to inductiveType in the DTD. tree | commitdiff
2002-11-18 Claudio Sacerdoti... IllFormedUri exception now exported. tree | commitdiff
2002-11-15 Claudio Sacerdoti... Comments improved. tree | commitdiff
2002-11-15 Claudio Sacerdoti... Metasenv partially checked. tree | commitdiff
2002-11-14 Claudio Sacerdoti... Default for the reduction moved to CicReductionMachine. tree | commitdiff
2002-11-12 Stefano Zacchirolisymlink automagically cicReduction.ml if it doesn't... tree | commitdiff
2002-11-05 Claudio Sacerdoti... mathql_interpreter_galax removed tree | commitdiff
2002-11-04 Claudio Sacerdoti... New CicTextualParser: it now returns (approximately... tree | commitdiff
2002-10-31 Claudio Sacerdoti... New euristich for the unification: convertible terms... tree | commitdiff
2002-10-30 Claudio Sacerdoti... Better implementation of the trusting machinery: some... tree | commitdiff
2002-10-30 Claudio Sacerdoti... Merging of the modifications of Lorenzo on the main... tree | commitdiff
2002-10-29 Claudio Sacerdoti... Bugs fixed: unification were not really explicit-named... tree | commitdiff
2002-10-28 Claudio Sacerdoti... - cicParser interface changed tree | commitdiff
2002-10-28 Claudio Sacerdoti... - metasenv is now checked tree | commitdiff
2002-10-28 Claudio Sacerdoti... - parser improved: constant uris and variable uris... tree | commitdiff
2002-10-28 Claudio Sacerdoti... - cicParser interface simplified tree | commitdiff
2002-10-28 Claudio Sacerdoti... - for/of attribute no more checked ;-( tree | commitdiff
2002-10-25 Claudio Sacerdoti... The fact that an object is trusted is now logged. tree | commitdiff
2002-10-25 Claudio Sacerdoti... cicCooking.ml* forgot in the previous commit tree | commitdiff
2002-10-25 Claudio Sacerdoti... - Porting of all the code to the new DTD format (with... tree | commitdiff
2002-10-25 no authorThis commit was manufactured by cvs2svn to create branch tree | commitdiff
2002-10-09 no authorThis commit was manufactured by cvs2svn to create branch tree | commitdiff
2002-09-19 natilecommit of galax mathql interpreter tree | commitdiff
2002-09-04 Ferruccio Guidiraw HTML markap generator tree | commitdiff
2002-09-04 Ferruccio Guiditextual parser fixed tree | commitdiff
2002-08-30 Ferruccio Guidiuser name added to tmp file name tree | commitdiff
2002-07-29 Claudio Sacerdoti... Updated to use the new parser that creates (stacks... tree | commitdiff
2002-07-01 Ferruccio GuidimathQL modified, stderr corrected to stdout im mathql_i... tree | commitdiff
2002-07-01 Claudio Sacerdoti... Invariant description added. tree | commitdiff
2002-07-01 Claudio Sacerdoti... Bug fixed: there is an invariant that every attributed... tree | commitdiff
2002-06-25 Claudio Sacerdoti... Wrong xpointers generated. Fixed. tree | commitdiff
2002-06-24 Stefano Zacchiroliadded comment about 0 and 1 based indexes tree | commitdiff
2002-06-22 Ferruccio GuidimathQL and mqint updated tree | commitdiff
2002-06-22 Stefano Zacchirolibug fix: wrapped some possible List.{hd,tl} failures... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.