]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml
fixed auto when the context has some deleted hypothesis
[helm.git] / helm / ocaml /
2005-07-07 Enrico Tassifixed auto when the context has some deleted hypothesis
2005-07-07 Claudio Sacerdoti... Bug fixed: uris can contain '-' (e.g. cic:/Sophia-Antip...
2005-07-07 Claudio Sacerdoti... Names bound in lambdas can now be used in the "canonica...
2005-07-07 Andrea AspertiCheck function for Matita name convention.
2005-07-07 Enrico Tassitab -> spaces
2005-07-07 Enrico Tassialim of now resets the counter
2005-07-07 Enrico Tassiremoved gdom2 dep
2005-07-06 Stefano Zacchiroli- bugfix: correctly handle real "index.theory"
2005-07-06 Claudio Sacerdoti... Bug fixed: "intros n" should fail when there are less...
2005-07-06 Stefano Zacchiroliadded index.theory handling
2005-07-06 Claudio Sacerdoti... Fixed a bug in the "do" tactical that made it diverge.
2005-07-06 Claudio Sacerdoti... mk_fresh_name now returns [name] instead of its basenam...
2005-07-06 Stefano Zacchiroliadded backtick function
2005-07-06 Stefano Zacchirolino longer uses Shell library
2005-07-06 Stefano Zacchiroli- updated META dependencies (no more dbm, no more shell)
2005-07-06 Stefano Zacchiroliuses mowgli's getter conffile as sample
2005-07-06 Stefano Zacchirolibugfix: leave ".theory" suffix in place for theory...
2005-07-06 Stefano Zacchirolihelp string in sync with available commands
2005-07-06 Stefano Zacchiroli- handle prefixes on the same line in conffile
2005-07-06 Claudio Sacerdoti... 1. tactical "try_tacticals" renamed to "first"
2005-07-06 Enrico Tassiclear now fails if the hypothesys doesnt exist, and...
2005-07-06 Stefano Zacchiroliadded support for multiple binding of the same prefix...
2005-07-06 Stefano Zacchirolido not .body/.types/.proof_tree files from ls output
2005-07-06 Stefano Zacchiroli- bugfix in cache handling for remote resources
2005-07-06 Enrico Tassinow it doesn't try to apply a cleared hypothesis
2005-07-06 Stefano Zacchirolibetter exception handling for HTTP errors
2005-07-06 Claudio Sacerdoti... * Bug fixed: "tac." was parsed as Seq [tac]
2005-07-06 Stefano Zacchiroliadded docu comment
2005-07-06 Stefano Zacchirolitypo fixed: s/msemantics/semantics/
2005-07-06 Stefano Zacchiroliremoved (wrong) output encoding iso-8859-1
2005-07-06 Claudio Sacerdoti... -rectypes missing for native code compilation
2005-07-06 Claudio Sacerdoti... Some precisations on a few comments by Ferruccio.
2005-07-05 Stefano Zacchirolisnapshot
2005-07-05 Ferruccio Guidiname specifications added for elim_intros, elim_intros_...
2005-07-05 Claudio Sacerdoti... Debugging back to false
2005-07-05 Claudio Sacerdoti... Bug fixed: the outtype of a match when omitted was...
2005-07-05 Stefano Zacchirolisnapshot
2005-07-05 Ferruccio Guidiid ;-) and lapply patched
2005-07-05 Stefano Zacchiroliported to new getter interface
2005-07-05 Stefano Zacchirolibumped license year
2005-07-05 Stefano Zacchirolinew getter implementation: no more DBM maps
2005-07-05 Stefano Zacchirolihandle Not_found exception in extension
2005-07-04 Claudio Sacerdoti... New command default "foo" uri1 ... urin
2005-07-04 Claudio Sacerdoti... All the tactics have been ported to use the objects...
2005-07-04 Claudio Sacerdoti... Comestic changes.
2005-07-04 Claudio Sacerdoti... Cosmetic changes.
2005-07-04 Claudio Sacerdoti... New function (only partially implemented) to pretty...
2005-07-04 Stefano Zacchiroliadded some utility functions on filename suffixes
2005-07-04 Claudio Sacerdoti... "include" command implemented.
2005-07-02 Claudio Sacerdoti... All the equalityTactics have now been ported to use...
2005-07-01 Alberto Griggiofixed bug in proof generation, new weight function...
2005-07-01 Enrico Tassion is now a keyword (needed in let rec)
2005-07-01 Enrico Tassiadded uri_is_ind
2005-07-01 Alberto Griggioremoved first Cic.term from type equality, added an...
2005-07-01 Claudio Sacerdoti... TacticAst2Box no longer used.
2005-07-01 Claudio Sacerdoti... Module TacticAst2Box unused!
2005-07-01 Claudio Sacerdoti... count_pattern implemented
2005-07-01 Claudio Sacerdoti... More cases implemented in tactic_count.
2005-07-01 Claudio Sacerdoti... replace tactic reimplemented.
2005-07-01 Claudio Sacerdoti... pattern_of function reimplemented. Now it takes a term...
2005-07-01 Claudio Sacerdoti... prerr_endline -> debug_print
2005-07-01 Claudio Sacerdoti... The replace tactic is now working again. It can now...
2005-07-01 Claudio Sacerdoti... Signature of fwdSimpl changed to get rid of a warning.
2005-07-01 Enrico Tassiuri_of_string now checks the uri is well formed
2005-07-01 Claudio Sacerdoti... 1. change_tac moved from PrimitiveTactics to ReductionT...
2005-07-01 Claudio Sacerdoti... Syntax of patterns changed again to make it non-ambiguous:
2005-06-30 Alberto Griggioproofs are now built lazily at the end of the computation
2005-06-30 Claudio Sacerdoti... The pattern of a fold cannot have the "wanted" part...
2005-06-30 Claudio Sacerdoti... Signature and concrete syntax of fold fixed.
2005-06-30 Ferruccio Guidilapply and fwd improved
2005-06-30 Claudio Sacerdoti... The rewrite_* set of tactics is now working again....
2005-06-30 Claudio Sacerdoti... Bug fixed: a wrong lift made select unuseful when wante...
2005-06-30 Claudio Sacerdoti... Pretty printing of Cic.Implict (Some `Hole) is now "%"
2005-06-30 Claudio Sacerdoti... 1. rewrite_* and rewrite_back_* merged into one function
2005-06-30 Claudio Sacerdoti... Oooops. I forgot the convertibility test that makes...
2005-06-30 Claudio Sacerdoti... The tactic change is now working again. Moreover, it...
2005-06-30 Claudio Sacerdoti... A bit of renaming in the code to make it more clear.
2005-06-30 Enrico Tassiburi_of_uri is now #xpointer aware.
2005-06-30 Claudio Sacerdoti... Obsolete comment removed.
2005-06-30 Claudio Sacerdoti... Stupid bug fixed (a completely erroneous assert false...
2005-06-30 Claudio Sacerdoti... This commit makes ProofEngineHelpers.select reach its...
2005-06-29 Claudio Sacerdoti... 1. new syntax for patterns:
2005-06-29 Enrico Tassiremoved profiling function (now a stub is used instead)
2005-06-29 Claudio Sacerdoti... Incredible bug of simpl fixed: the stack (in the termin...
2005-06-29 Alberto Griggiovarious updates, removed proofs for now because they...
2005-06-29 Ferruccio Guidilapply reimplemented using letin_tac
2005-06-29 Claudio Sacerdoti... does_not_occur unexported since it did not have the...
2005-06-29 Claudio Sacerdoti... Stupid bug fixed in the refinement of let ... in
2005-06-28 Ferruccio Guidilapply improved
2005-06-28 Ferruccio Guidilapply improved
2005-06-28 Enrico Tassiadded Drop
2005-06-28 Enrico Tassimisc -> domMisc
2005-06-28 Claudio Sacerdoti... New argument for LApply: the ident for the generated...
2005-06-28 Stefano Zacchirolichanged get_pair interface, now supports different...
2005-06-28 Stefano Zacchiroliadded get_pair method
2005-06-28 Stefano Zacchirolimoved discovery of METAS dir to configure.ac: script...
2005-06-27 Claudio Sacerdoti... 1. interface of replace generalized to patterns
2005-06-27 Claudio Sacerdoti... A few other tactics made available to matita.
2005-06-27 Claudio Sacerdoti... New argument (the identifier) to generalize.
2005-06-27 Claudio Sacerdoti... New argument (the hypothesis name) for cut.
next