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

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

2011-11-04	Ferruccio Guidi	- two discrimination lemmas	commit \| commitdiff \| tree \| snapshot
2011-11-03	Ferruccio Guidi	- contex-free normal forms started	commit \| commitdiff \| tree \| snapshot
2011-11-03	Andrea Asperti	1. we compare the expected branching with the actual...	commit \| commitdiff \| tree \| snapshot
2011-11-03	Andrea Asperti	At top level, we reindex the local equations for each...	commit \| commitdiff \| tree \| snapshot
2011-11-02	Claudio Sacerdoti...	trans_eq and sym_eq indexing restored. Apparently they...	commit \| commitdiff \| tree \| snapshot
2011-11-02	Wilmer Ricciotti	Matitaweb: Added jquery.js (also used in some of the...	commit \| commitdiff \| tree \| snapshot
2011-11-02	Wilmer Ricciotti	Matitaweb:	commit \| commitdiff \| tree \| snapshot
2011-11-02	Andrea Asperti	The proof of append_cons used transitive_eq, not indexed.	commit \| commitdiff \| tree \| snapshot
2011-11-02	Andrea Asperti	Disabled printings.	commit \| commitdiff \| tree \| snapshot
2011-11-02	Andrea Asperti	--Tre the expected branching with the actual one and	commit \| commitdiff \| tree \| snapshot
2011-10-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-28	Wilmer Ricciotti	Matitaweb: added layout.js (currently manages resizing...	commit \| commitdiff \| tree \| snapshot
2011-10-28	Andrea Asperti	New management of resulting subst in deep_eq: used...	commit \| commitdiff \| tree \| snapshot
2011-10-28	Andrea Asperti	-applicative_case has been rewritten and simplified;	commit \| commitdiff \| tree \| snapshot
2011-10-28	Andrea Asperti	Some qed-	commit \| commitdiff \| tree \| snapshot
2011-10-28	Andrea Asperti	some qed-	commit \| commitdiff \| tree \| snapshot
2011-10-28	Andrea Asperti	New management of the resulting substitution in deep eq.	commit \| commitdiff \| tree \| snapshot
2011-10-28	Andrea Asperti	-pplicative_case has been rewritten and simplified;	commit \| commitdiff \| tree \| snapshot
2011-10-27	Wilmer Ricciotti	Matitaweb: Fixed a bug in matitaweb.js concerning disam...	commit \| commitdiff \| tree \| snapshot
2011-10-26	Ferruccio Guidi	refactoring ...	commit \| commitdiff \| tree \| snapshot
2011-10-25	Ferruccio Guidi	-- some renaming in basic_2	commit \| commitdiff \| tree \| snapshot
2011-10-25	Ferruccio Guidi	old pr2_subst1 (Basic-1) closed!	commit \| commitdiff \| tree \| snapshot
2011-10-24	Wilmer Ricciotti	Matitaweb: first attempt at web UI for disambiguation.	commit \| commitdiff \| tree \| snapshot
2011-10-21	Andrea Asperti	Now it should compile :-)	commit \| commitdiff \| tree \| snapshot
2011-10-21	Andrea Asperti	Optimization. Check removed.	commit \| commitdiff \| tree \| snapshot
2011-10-21	Andrea Asperti	Disabled debug.	commit \| commitdiff \| tree \| snapshot
2011-10-20	Andrea Asperti	1. ported to camlp5	commit \| commitdiff \| tree \| snapshot
2011-10-20	Andrea Asperti	typos	commit \| commitdiff \| tree \| snapshot
2011-10-20	Andrea Asperti	We order alternatives according to the number of subgoa...	commit \| commitdiff \| tree \| snapshot
2011-10-20	Andrea Asperti	QED takes a boolean parameter governing indexing.	commit \| commitdiff \| tree \| snapshot
2011-10-20	Andrea Asperti	Alternatives are ordered according to the number of...	commit \| commitdiff \| tree \| snapshot
2011-10-20	Wilmer Ricciotti	JMeq lifted to work on Type[1].	commit \| commitdiff \| tree \| snapshot
2011-10-20	Wilmer Ricciotti	Removed some unneeded normalizations from the generatio...	commit \| commitdiff \| tree \| snapshot
2011-10-20	Wilmer Ricciotti	Matitaweb: added preliminary support for interactive...	commit \| commitdiff \| tree \| snapshot
2011-10-19	matitaweb	Matitaweb: added a function MatitaAuthentication.get_us...	commit \| commitdiff \| tree \| snapshot
2011-10-19	Ferruccio Guidi	- the relocation properties of cpr are closed!	commit \| commitdiff \| tree \| snapshot
2011-10-19	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-19	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-19	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-18	matitaweb	Localization of errors.	commit \| commitdiff \| tree \| snapshot
2011-10-18	Wilmer Ricciotti	Changes in "destruct" tactic (allowing performance...	commit \| commitdiff \| tree \| snapshot
2011-10-17	Enrico Tassi	compact coercion command: "coercion foo."	commit \| commitdiff \| tree \| snapshot
2011-10-17	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-17	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-17	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-17	matitaweb	commit by user lroversi	commit \| commitdiff \| tree \| snapshot
2011-10-14	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-14	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-14	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-14	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-14	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-14	matitaweb	Made a copy of basics/list.ma as a base for chapter 3.	commit \| commitdiff \| tree \| snapshot
2011-10-14	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-13	matitaweb	commit by user enrico	commit \| commitdiff \| tree \| snapshot
2011-10-13	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-13	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-13	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-13	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-12	Wilmer Ricciotti	Matitaweb: Fixed netplex.conf (which was changed by...	commit \| commitdiff \| tree \| snapshot
2011-10-12	Wilmer Ricciotti	Matitaweb: svn now skips empty commits.	commit \| commitdiff \| tree \| snapshot
2011-10-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-12	Wilmer Ricciotti	Matitaweb: svn now skips empty add.	commit \| commitdiff \| tree \| snapshot
2011-10-12	matitaweb	commit by user lroversi	commit \| commitdiff \| tree \| snapshot
2011-10-12	matitaweb	Administrative commit restoring the repository to the...	commit \| commitdiff \| tree \| snapshot
2011-10-12	matitaweb	commit by user ricciott	commit \| commitdiff \| tree \| snapshot
2011-10-12	Ferruccio Guidi	theory of ltpss completed!	commit \| commitdiff \| tree \| snapshot
2011-10-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-11	Ferruccio Guidi	update ...	commit \| commitdiff \| tree \| snapshot
2011-10-11	Ferruccio Guidi	update ...	commit \| commitdiff \| tree \| snapshot
2011-10-11	Ferruccio Guidi	- cpr_lsubs_conf proved! (was pr2_change)	commit \| commitdiff \| tree \| snapshot
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-11	Ferruccio Guidi	refactoring completed!	commit \| commitdiff \| tree \| snapshot
2011-10-11	Wilmer Ricciotti	Matitaweb: Fixed long-time bug with dependencies and...	commit \| commitdiff \| tree \| snapshot
2011-10-11	matitaweb	Chapter 2	commit \| commitdiff \| tree \| snapshot
2011-10-11	matitaweb	commit by user utente1	commit \| commitdiff \| tree \| snapshot
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-11	Claudio Sacerdoti...	WARNING: major experimental change.	commit \| commitdiff \| tree \| snapshot
2011-10-11	Claudio Sacerdoti...	New version (by Wilmer). The main difference w.r.t...	commit \| commitdiff \| tree \| snapshot
2011-10-10	Ferruccio Guidi	refactoring ...	commit \| commitdiff \| tree \| snapshot
2011-10-10	Ferruccio Guidi	refactoring ...	commit \| commitdiff \| tree \| snapshot
2011-10-10	Ferruccio Guidi	cpr_cast closed! (after a bugfix in the "destruct"...	commit \| commitdiff \| tree \| snapshot
2011-10-10	Claudio Sacerdoti...	1. nInversion/nDestruct ported to work with jmeq properly	commit \| commitdiff \| tree \| snapshot
2011-10-10	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree \| snapshot
2011-10-10	Andrea Asperti	Ported changes amde on the main branch:	commit \| commitdiff \| tree \| snapshot
2011-10-10	Andrea Asperti	- Reintroduction of a failure chache	commit \| commitdiff \| tree \| snapshot
2011-10-07	matitaweb	Matitaweb: fixed bugs in commit.	commit \| commitdiff \| tree \| snapshot
2011-10-07	matitaweb	commit by user utente3	commit \| commitdiff \| tree \| snapshot
2011-10-07	matitaweb	commit by user utente2	commit \| commitdiff \| tree \| snapshot
2011-10-06	Wilmer Ricciotti	Matitaweb: added a titlebar to the GUI.	commit \| commitdiff \| tree \| snapshot
2011-10-06	Wilmer Ricciotti	Matitaweb: more changes to commit (now almost usable).	commit \| commitdiff \| tree \| snapshot
2011-10-05	Wilmer Ricciotti	commit by user utente	commit \| commitdiff \| tree \| snapshot
2011-10-05	matitaweb	Matitaweb: several improvements to svn interface.	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom