matita.cs.unibo.it Git - helm.git/history - helm/software/components/content

]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/content_pres/content2pres.ml

[helm.git] / helm / software / components / content_pres / content2pres.ml

2008-07-18	Enrico Tassi	better metavariable context	blob \| commitdiff \| raw
2008-07-18	Enrico Tassi	metavariable context has a separator now	blob \| commitdiff \| raw \| diff to current
2008-05-21	Enrico Tassi	minimal implementation of left parameters display	blob \| commitdiff \| raw \| diff to current
2008-03-20	Enrico Tassi	changed auto_tac params type and all derivate tactics...	blob \| commitdiff \| raw \| diff to current
2007-10-28	Claudio Sacerdoti...	Pretty-printing of "match ... with" pattern syntax...	blob \| commitdiff \| raw \| diff to current
2007-08-23	Claudio Sacerdoti...	Bug fixed: RewriteLR were not recognized correctly...	blob \| commitdiff \| raw \| diff to current
2007-07-31	Enrico Tassi	removed comments in proof presentation	blob \| commitdiff \| raw \| diff to current
2007-07-04	Claudio Sacerdoti...	In place of conclude, obtain FIXMEXXX is now generated...	blob \| commitdiff \| raw \| diff to current
2007-07-04	Claudio Sacerdoti...	1. Code simplification	blob \| commitdiff \| raw \| diff to current
2007-07-04	Claudio Sacerdoti...	is_top_down was not propageted correctly under a bottom...	blob \| commitdiff \| raw \| diff to current
2007-07-04	Claudio Sacerdoti...	1. "by proof" now allowed as a justification in equalit...	blob \| commitdiff \| raw \| diff to current
2007-07-04	Claudio Sacerdoti...	Bug fixed: name in letin was printed as "previous"...	blob \| commitdiff \| raw \| diff to current
2007-06-30	Claudio Sacerdoti...	In order to generate executable declarative scripts...	blob \| commitdiff \| raw \| diff to current
2007-06-30	Claudio Sacerdoti...	Bug fixed in bottom-up conversion.	blob \| commitdiff \| raw \| diff to current
2007-06-30	Claudio Sacerdoti...	Nicer layout but possibly more bugged.	blob \| commitdiff \| raw \| diff to current
2007-06-30	Claudio Sacerdoti...	Spurious "we need to prove" at the beginning of Intros...	blob \| commitdiff \| raw \| diff to current
2007-06-13	Enrico Tassi	many changes:	blob \| commitdiff \| raw \| diff to current
2007-06-01	Enrico Tassi	hacks for paramodulation declarative proofs	blob \| commitdiff \| raw \| diff to current
2007-05-31	Claudio Sacerdoti...	DOOMSDAY 1.0:	blob \| commitdiff \| raw \| diff to current
2007-05-15	Ferruccio Guidi	Wrong invariant: Hypothesis (i.e. lambda-abstractions...	blob \| commitdiff \| raw \| diff to current
2006-12-22	Andrea Asperti	Minor change.	blob \| commitdiff \| raw \| diff to current
2006-05-03	Enrico Tassi	eq_chain	blob \| commitdiff \| raw \| diff to current
2006-04-13	Enrico Tassi	partially fixed boxes in rewite	blob \| commitdiff \| raw \| diff to current
2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom