matita.cs.unibo.it Git - helm.git/shortlog

]> matita.cs.unibo.it Git - helm.git/shortlog

2005-11-19	Claudio Sacerdoti...	Less verbose error messages (= substitution applied...	commit \| commitdiff \| tree \| snapshot
2005-11-19	Claudio Sacerdoti...	Wrong reported error message fixed.	commit \| commitdiff \| tree \| snapshot
2005-11-19	Claudio Sacerdoti...	More information is now printed when reporting errors.	commit \| commitdiff \| tree \| snapshot
2005-11-19	Claudio Sacerdoti...	Typo fixed.	commit \| commitdiff \| tree \| snapshot
2005-11-19	Claudio Sacerdoti...	Disambiguation errors are no longer thrown away. They...	commit \| commitdiff \| tree \| snapshot
2005-11-19	Ferruccio Guidi	some renaming	commit \| commitdiff \| tree \| snapshot
2005-11-19	Claudio Sacerdoti...	Coercions are now inserted also around the sources...	commit \| commitdiff \| tree \| snapshot
2005-11-18	Enrico Tassi	more work for coercions	commit \| commitdiff \| tree \| snapshot
2005-11-18	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-11-18	Enrico Tassi	fixed coercions undo	commit \| commitdiff \| tree \| snapshot
2005-11-18	Stefano Zacchiroli	added debug items for enabling/disabling pretty printin...	commit \| commitdiff \| tree \| snapshot
2005-11-18	Stefano Zacchiroli	added support for enabling/disabling (pretty printing...	commit \| commitdiff \| tree \| snapshot
2005-11-18	Enrico Tassi	fix for coercions	commit \| commitdiff \| tree \| snapshot
2005-11-18	Claudio Sacerdoti...	Incredible bug fixed: coercions were computed and then...	commit \| commitdiff \| tree \| snapshot
2005-11-18	Enrico Tassi	some more on tinycals	commit \| commitdiff \| tree \| snapshot
2005-11-18	Enrico Tassi	added more on tinycals	commit \| commitdiff \| tree \| snapshot
2005-11-18	Claudio Sacerdoti...	Improvement/bug fix: rewriting in the hypothesis used...	commit \| commitdiff \| tree \| snapshot
2005-11-18	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-11-17	Claudio Sacerdoti...	New test for parallel rewriting in the hypotheses and...	commit \| commitdiff \| tree \| snapshot
2005-11-17	Claudio Sacerdoti...	Comments changed/removed.	commit \| commitdiff \| tree \| snapshot
2005-11-17	Claudio Sacerdoti...	"Parallel" rewriting in a list of hypothesis and in...	commit \| commitdiff \| tree \| snapshot
2005-11-17	Claudio Sacerdoti...	Major code semplification and improvement:	commit \| commitdiff \| tree \| snapshot
2005-11-17	Enrico Tassi	aded a prototype of chtting aboit tacticals	commit \| commitdiff \| tree \| snapshot
2005-11-17	Stefano Zacchiroli	filled disambiguation algorithm section	commit \| commitdiff \| tree \| snapshot
2005-11-17	Claudio Sacerdoti...	First draft implementation of rewriting in an hypothesis.	commit \| commitdiff \| tree \| snapshot
2005-11-17	Claudio Sacerdoti...	New tactic rename (for now for internal usage only).	commit \| commitdiff \| tree \| snapshot
2005-11-17	Enrico Tassi	matita.tex	commit \| commitdiff \| tree \| snapshot
2005-11-17	Stefano Zacchiroli	followed kluwer guidelines	commit \| commitdiff \| tree \| snapshot
2005-11-17	Claudio Sacerdoti...	Inizio stesura parte su "libreria tutta visibile".	commit \| commitdiff \| tree \| snapshot
2005-11-17	Stefano Zacchiroli	ported to kluwer style	commit \| commitdiff \| tree \| snapshot
2005-11-17	Enrico Tassi	fixed some stuff in the patterns section	commit \| commitdiff \| tree \| snapshot
2005-11-17	Enrico Tassi	fixed some stuff in pattern section	commit \| commitdiff \| tree \| snapshot
2005-11-17	Claudio Sacerdoti...	tests and tests.opt targets greately simplified	commit \| commitdiff \| tree \| snapshot
2005-11-16	Enrico Tassi	added first draft for patterns	commit \| commitdiff \| tree \| snapshot
2005-11-16	Ferruccio Guidi	predicative subsets started	commit \| commitdiff \| tree \| snapshot
2005-11-16	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-11-16	Stefano Zacchiroli	- begin{grafite} environment for script snippets	commit \| commitdiff \| tree \| snapshot
2005-11-16	Claudio Sacerdoti...	dump_moo.opt	commit \| commitdiff \| tree \| snapshot
2005-11-16	Claudio Sacerdoti...	do_test.sh no longer prints the compiler options (used...	commit \| commitdiff \| tree \| snapshot
2005-11-16	Claudio Sacerdoti...	New framework for regression of bad tests.	commit \| commitdiff \| tree \| snapshot
2005-11-16	Ferruccio Guidi	universal quantifier added	commit \| commitdiff \| tree \| snapshot
2005-11-16	Claudio Sacerdoti...	The .depend must not be committed! Fixed.	commit \| commitdiff \| tree \| snapshot
2005-11-16	Stefano Zacchiroli	ignore bibtex litter	commit \| commitdiff \| tree \| snapshot
2005-11-15	Claudio Sacerdoti...	1. handling of tests and tests.opt targets improved	commit \| commitdiff \| tree \| snapshot
2005-11-15	Stefano Zacchiroli	added content level ref	commit \| commitdiff \| tree \| snapshot
2005-11-15	Stefano Zacchiroli	- draft of the first part of disambiguation subsection	commit \| commitdiff \| tree \| snapshot
2005-11-15	Claudio Sacerdoti...	New directory for bad tests with checks on the error...	commit \| commitdiff \| tree \| snapshot
2005-11-15	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-11-15	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree \| snapshot
2005-11-15	Claudio Sacerdoti...	Bug fixed: wrong exception was raised (instead of retur...	commit \| commitdiff \| tree \| snapshot
2005-11-15	Stefano Zacchiroli	cic concrete syntax (w/o notation)	commit \| commitdiff \| tree \| snapshot
2005-11-15	Stefano Zacchiroli	better output formatting	commit \| commitdiff \| tree \| snapshot
2005-11-15	Stefano Zacchiroli	removed grammar rule which used to enable things linke...	commit \| commitdiff \| tree \| snapshot
2005-11-15	Enrico Tassi	list_uniq abstracted on equality	commit \| commitdiff \| tree \| snapshot
2005-11-15	Enrico Tassi	fixed self and removed more DUMMY... only one left	commit \| commitdiff \| tree \| snapshot
2005-11-15	Enrico Tassi	added print_grammar	commit \| commitdiff \| tree \| snapshot
2005-11-15	Enrico Tassi	removed duplicate entry	commit \| commitdiff \| tree \| snapshot
2005-11-15	Stefano Zacchiroli	tex macros, checked in disambiguation section from...	commit \| commitdiff \| tree \| snapshot
2005-11-14	Enrico Tassi	dded missing catch for coercions	commit \| commitdiff \| tree \| snapshot
2005-11-14	Ferruccio Guidi	contribs/PREDICATIVE-TOPOLOGY added as test directory	commit \| commitdiff \| tree \| snapshot
2005-11-14	Stefano Zacchiroli	bugfix, use database name	commit \| commitdiff \| tree \| snapshot
2005-11-14	Andrea Asperti	Introduction, again.:	commit \| commitdiff \| tree \| snapshot
2005-11-14	Stefano Zacchiroli	first draft of db filling script	commit \| commitdiff \| tree \| snapshot
2005-11-14	Andrea Asperti	Introduction (partial).	commit \| commitdiff \| tree \| snapshot
2005-11-14	Andrea Asperti	Introduction.	commit \| commitdiff \| tree \| snapshot
2005-11-11	Enrico Tassi	added an example of reduction of R' and some comments...	commit \| commitdiff \| tree \| snapshot
2005-11-11	Andrea Asperti	Definition of system T.	commit \| commitdiff \| tree \| snapshot
2005-11-10	Stefano Zacchiroli	paper skeleton	commit \| commitdiff \| tree \| snapshot
2005-11-10	Andrea Asperti	Several changes.	commit \| commitdiff \| tree \| snapshot
2005-11-10	Andrea Asperti	A couple more of references.	commit \| commitdiff \| tree \| snapshot
2005-11-10	Andrea Asperti	typos	commit \| commitdiff \| tree \| snapshot
2005-11-10	Stefano Zacchiroli	added Makefile, llncs style, cvsignore	commit \| commitdiff \| tree \| snapshot
2005-11-10	Andrea Asperti	Headings of the matita paper.	commit \| commitdiff \| tree \| snapshot
2005-11-10	Andrea Asperti	Extended bibliography.	commit \| commitdiff \| tree \| snapshot
2005-11-09	Andrea Asperti	Added an example (well founded recursion).	commit \| commitdiff \| tree \| snapshot
2005-11-08	Claudio Sacerdoti...	Yet another semantics for simplify.	commit \| commitdiff \| tree \| snapshot
2005-11-08	Claudio Sacerdoti...	Yet another semantics for simplify.	commit \| commitdiff \| tree \| snapshot
2005-11-08	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-11-08	Enrico Tassi	fixed inductive types demonstrations	commit \| commitdiff \| tree \| snapshot
2005-11-08	Andrea Asperti	Typos.	commit \| commitdiff \| tree \| snapshot
2005-11-08	Claudio Sacerdoti...	CicTypeChecker.AssertFailure now printed.	commit \| commitdiff \| tree \| snapshot
2005-11-08	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree \| snapshot
2005-11-08	Claudio Sacerdoti...	New syntax for the outtype of a match.	commit \| commitdiff \| tree \| snapshot
2005-11-08	Enrico Tassi	added some stuff on inductive types	commit \| commitdiff \| tree \| snapshot
2005-11-07	Claudio Sacerdoti...	Refinement of a Cast was bugged.	commit \| commitdiff \| tree \| snapshot
2005-11-07	Claudio Sacerdoti...	AssertFailure from the type-checker now becomes an...	commit \| commitdiff \| tree \| snapshot
2005-11-07	Claudio Sacerdoti...	Let-ins with types can now be produced.	commit \| commitdiff \| tree \| snapshot
2005-11-07	Claudio Sacerdoti...	Avoid generation of let x = let rec x = ... in x in...	commit \| commitdiff \| tree \| snapshot
2005-11-07	Claudio Sacerdoti...	Let-ins with types can be produced.	commit \| commitdiff \| tree \| snapshot
2005-11-07	Claudio Sacerdoti...	Syntactic change:	commit \| commitdiff \| tree \| snapshot
2005-11-07	Claudio Sacerdoti...	Syntactic change:	commit \| commitdiff \| tree \| snapshot
2005-11-07	Claudio Sacerdoti...	Duplicated exception definition removed (used to give...	commit \| commitdiff \| tree \| snapshot
2005-11-07	Andrea Asperti	First draft of the introduction.	commit \| commitdiff \| tree \| snapshot
2005-11-07	Stefano Zacchiroli	changed script actions keybindings: s/CTRL-XXX/CTRL...	commit \| commitdiff \| tree \| snapshot
2005-11-07	Stefano Zacchiroli	bugfix: no longer raise End_of_file for scripts ending...	commit \| commitdiff \| tree \| snapshot
2005-11-07	Stefano Zacchiroli	list sorting (to be completed ...)	commit \| commitdiff \| tree \| snapshot
2005-11-07	Stefano Zacchiroli	added tail function	commit \| commitdiff \| tree \| snapshot
2005-11-07	Stefano Zacchiroli	added bool_elim (elimination which preserves infos...	commit \| commitdiff \| tree \| snapshot
2005-11-04	Enrico Tassi	since the outtype is now refined correclty some types...	commit \| commitdiff \| tree \| snapshot
2005-11-04	Enrico Tassi	refined outtype used to be discharged	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom