matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/didactic/exercises/natural

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/didactic/exercises/natural_deduction.ma

2009-05-25	Enrico Tassi	nasty change in the lexer/parser:	blob \| commitdiff \| raw
2009-04-15	Ferruccio Guidi	- transcript: bugfix	blob \| commitdiff \| raw \| diff to current
2008-12-01	Enrico Tassi	0.5.6 almost ok	blob \| commitdiff \| raw \| diff to current
2008-12-01	Enrico Tassi	better doc	blob \| commitdiff \| raw \| diff to current
2008-11-30	Enrico Tassi	natural deduction support for lemmas with premises	blob \| commitdiff \| raw \| diff to current
2008-11-17	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-11-17	Enrico Tassi	exercises ready	blob \| commitdiff \| raw \| diff to current
2008-11-17	Enrico Tassi	all ex done	blob \| commitdiff \| raw \| diff to current
2008-11-16	Enrico Tassi	commented out unfinished proof	blob \| commitdiff \| raw \| diff to current
2008-11-15	Enrico Tassi	apply rule (lem EM) works	blob \| commitdiff \| raw \| diff to current
2008-11-15	Claudio Sacerdoti...	New bug.	blob \| commitdiff \| raw \| diff to current
2008-11-15	Claudio Sacerdoti...	Another bug.	blob \| commitdiff \| raw \| diff to current
2008-11-15	Claudio Sacerdoti...	This commit shows a bug.	blob \| commitdiff \| raw \| diff to current
2008-11-15	Enrico Tassi	almost ready	blob \| commitdiff \| raw \| diff to current

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