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

2018-08-01	Ferruccio Guidi	parameter sintax added to axiom statement	blob \| commitdiff \| raw
2017-12-28	Claudio Sacerdoti...	Patch to make it compile with recent OCaml	blob \| commitdiff \| raw \| diff to current
2009-10-02	Enrico Tassi	better nlet rec boxing	blob \| commitdiff \| raw \| diff to current
2009-09-30	Wilmer Ricciotti	Added initial support for inversion principles in Matit...	blob \| commitdiff \| raw \| diff to current
2009-09-11	Enrico Tassi	let rec/corec and co/inductive are not printed!	blob \| commitdiff \| raw \| diff to current
2009-07-15	Enrico Tassi	ncopy partially implemented and fixed (a ?) chain to...	blob \| commitdiff \| raw \| diff to current
2009-06-11	Enrico Tassi	content2pres for the new cic fixed	blob \| commitdiff \| raw \| diff to current
2009-06-05	Claudio Sacerdoti...	1) the home button of CicBrowser now works also for NG	blob \| commitdiff \| raw \| diff to current
2009-06-03	Claudio Sacerdoti...	Huge commit with several changes:	blob \| commitdiff \| raw \| diff to current
2009-05-15	Claudio Sacerdoti...	Patch to add a debugging string to HExtlib.split_nth...	blob \| commitdiff \| raw \| diff to current
2009-05-14	Ferruccio Guidi	- hExtlib: added debugging information for split_nth	blob \| commitdiff \| raw \| diff to current
2008-07-18	Enrico Tassi	better metavariable context	blob \| commitdiff \| raw \| diff to current
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