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

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

2010-11-04	Claudio Sacerdoti...	- disambiguation code moved from matitaEngine to grafit...	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	Dependencies re-computed.	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	Minor code uniformization.	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	- further simplifications (??) of the status dependencies	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	..	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	All methods made explicit.	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	dependencies between statuses simplified	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	dependencies between statuses simplified	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	Minor code clean-up to simplify module dependencies.	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	- dependencies between statuses simplified	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	- content/interpretations.ml and ng_cic_content/nTermCi...	commit \| commitdiff \| tree \| snapshot
2010-11-04	Ferruccio Guidi	- some changes in the crux icon	commit \| commitdiff \| tree \| snapshot
2010-11-04	Andrea Asperti	- dandling code (to be put somewhere) implementing...	commit \| commitdiff \| tree \| snapshot
2010-11-04	Andrea Asperti	- interpretations are now saved in the .ng files	commit \| commitdiff \| tree \| snapshot
2010-11-04	Andrea Asperti	- Print/Set commands removed	commit \| commitdiff \| tree \| snapshot
2010-11-03	Ferruccio Guidi	last commit for helena 0.8.1	commit \| commitdiff \| tree \| snapshot
2010-11-03	Enrico Tassi	notation kind of works	commit \| commitdiff \| tree \| snapshot
2010-11-03	Andrea Asperti	- LexiconAst merged into GrafiteAst	commit \| commitdiff \| tree \| snapshot
2010-11-02	Ferruccio Guidi	- the connections between the intermediate language...	commit \| commitdiff \| tree \| snapshot
2010-11-02	Enrico Tassi	big change in parsing, trying to make all functional	commit \| commitdiff \| tree \| snapshot
2010-11-01	Ferruccio Guidi	- some bugfix	commit \| commitdiff \| tree \| snapshot
2010-10-31	Ferruccio Guidi	the old intermediate language (meta) is now obsolete	commit \| commitdiff \| tree \| snapshot
2010-10-31	Ferruccio Guidi	when sort inclusion is enabled, we can produce conversi...	commit \| commitdiff \| tree \| snapshot
2010-10-30	Ferruccio Guidi	a module was missing .........	commit \| commitdiff \| tree \| snapshot
2010-10-30	Ferruccio Guidi	- initial support for abstractions with explicit levels	commit \| commitdiff \| tree \| snapshot
2010-10-29	Claudio Sacerdoti...	More parts of the lexicon status made functional.	commit \| commitdiff \| tree \| snapshot
2010-10-29	Claudio Sacerdoti...	Porting to new syntax.	commit \| commitdiff \| tree \| snapshot
2010-10-29	Claudio Sacerdoti...	Porting to new syntax.	commit \| commitdiff \| tree \| snapshot
2010-10-29	Claudio Sacerdoti...	Porting to new syntax.	commit \| commitdiff \| tree \| snapshot
2010-10-29	Claudio Sacerdoti...	Porting to intermediate syntax.	commit \| commitdiff \| tree \| snapshot
2010-10-29	Claudio Sacerdoti...	Bug fixed: a missing eta-expansion raised an assert...	commit \| commitdiff \| tree \| snapshot
2010-10-29	Claudio Sacerdoti...	WARNING: partial commit.	commit \| commitdiff \| tree \| snapshot
2010-10-29	Andrea Asperti	WARNING: partial commit (does not compile)	commit \| commitdiff \| tree \| snapshot
2010-10-29	Andrea Asperti	- grammar of // changed to move the justification inside;	commit \| commitdiff \| tree \| snapshot
2010-10-27	Andrea Asperti	Dead code for .moo files removed.	commit \| commitdiff \| tree \| snapshot
2010-10-27	Andrea Asperti	.moo no longer used: all interesting data is left in...	commit \| commitdiff \| tree \| snapshot
2010-10-27	Andrea Asperti	Bug fixed: heuristic to detect real URIs used to raise...	commit \| commitdiff \| tree \| snapshot
2010-10-27	Andrea Asperti	old standard library no longer included	commit \| commitdiff \| tree \| snapshot
2010-10-26	Enrico Tassi	add some virtuals	commit \| commitdiff \| tree \| snapshot
2010-10-26	Andrea Asperti	urimanager removed	commit \| commitdiff \| tree \| snapshot
2010-10-26	Enrico Tassi	fix queries	commit \| commitdiff \| tree \| snapshot
2010-10-26	Andrea Asperti	Last commit made matita FTBFS. Fixed.	commit \| commitdiff \| tree \| snapshot
2010-10-26	Andrea Asperti	Some files ported to intermediate syntax to test.	commit \| commitdiff \| tree \| snapshot
2010-10-26	Andrea Asperti	STATS removed (was it still working properly??)	commit \| commitdiff \| tree \| snapshot
2010-10-26	Andrea Asperti	cic module removed (RIP)	commit \| commitdiff \| tree \| snapshot
2010-10-22	Enrico Tassi	tentative parser patch with symbolic tactics names	commit \| commitdiff \| tree \| snapshot
2010-10-22	Andrea Asperti	elim implemented as a notation for apply	commit \| commitdiff \| tree \| snapshot
2010-10-22	Andrea Asperti	Bug fixed: it always made an undo to the empty status...	commit \| commitdiff \| tree \| snapshot
2010-10-19	Enrico Tassi	camlp5 probably changed some internal data structures...	commit \| commitdiff \| tree \| snapshot
2010-10-17	Enrico Tassi	fixed many scripts that broke for various reasons	commit \| commitdiff \| tree \| snapshot
2010-10-17	Enrico Tassi	backport of patches to unification	commit \| commitdiff \| tree \| snapshot
2010-10-17	Enrico Tassi	fixed List.for_all2 called without knowing if the two...	commit \| commitdiff \| tree \| snapshot
2010-10-17	Enrico Tassi	new case for higher order unification:	commit \| commitdiff \| tree \| snapshot
2010-10-17	Enrico Tassi	removed wrong optimization in delift and export is_flexible	commit \| commitdiff \| tree \| snapshot
2010-10-16	Andrea Asperti	the Makefile was still calling transcript.	commit \| commitdiff \| tree \| snapshot
2010-10-15	Claudio Sacerdoti...	transcript removed (currently useless)	commit \| commitdiff \| tree \| snapshot
2010-10-15	Claudio Sacerdoti...	Polymorphic recursion no longer required!!!	commit \| commitdiff \| tree \| snapshot
2010-10-15	Claudio Sacerdoti...	- bug fixed (introduced by last commit from Andrea...	commit \| commitdiff \| tree \| snapshot
2010-10-15	Claudio Sacerdoti...	- grafiteSync no longer used	commit \| commitdiff \| tree \| snapshot
2010-10-13	Andrea Asperti	Propagation of changes to grafiteAst.	commit \| commitdiff \| tree \| snapshot
2010-10-08	Andrea Asperti	Cic.term and Cic.obj unused!	commit \| commitdiff \| tree \| snapshot
2010-10-08	Andrea Asperti	- cic almost not used	commit \| commitdiff \| tree \| snapshot
2010-10-08	Andrea Asperti	hgdome no longer used (RIP)	commit \| commitdiff \| tree \| snapshot
2010-10-08	Andrea Asperti	- most of cicUtil no longer used	commit \| commitdiff \| tree \| snapshot
2010-10-08	Andrea Asperti	- most of cic/ removed	commit \| commitdiff \| tree \| snapshot
2010-10-08	Andrea Asperti	Library committed again (because of a bug in SVN)	commit \| commitdiff \| tree \| snapshot
2010-10-08	Andrea Asperti	SVN bug: library lost, copying it again from previous...	commit \| commitdiff \| tree \| snapshot
2010-10-08	Andrea Asperti	- hmysql removed (RIP)	commit \| commitdiff \| tree \| snapshot
2010-10-08	Andrea Asperti	cicNotation* ==> notation*	commit \| commitdiff \| tree \| snapshot
2010-10-08	Andrea Asperti	- acic_content ==> content	commit \| commitdiff \| tree \| snapshot
2010-10-07	Andrea Asperti	xmldiff removed	commit \| commitdiff \| tree \| snapshot
2010-10-07	Andrea Asperti	- cic_exportation, cic_acic, acic_content (only parts...	commit \| commitdiff \| tree \| snapshot
2010-10-07	Andrea Asperti	cic_unification removed	commit \| commitdiff \| tree \| snapshot
2010-10-07	Andrea Asperti	acic_procedural and tactics removed	commit \| commitdiff \| tree \| snapshot
2010-10-06	Andrea Asperti	Removed tptp_grafite	commit \| commitdiff \| tree \| snapshot
2010-10-06	Andrea Asperti	removed tptp_grafite	commit \| commitdiff \| tree \| snapshot
2010-10-06	Andrea Asperti	nAuto --> nnAuto	commit \| commitdiff \| tree \| snapshot
2010-10-06	Andrea Asperti	Removed nauto debug checkbox	commit \| commitdiff \| tree \| snapshot
2010-10-06	Andrea Asperti	removed zipTree and andOrTree.	commit \| commitdiff \| tree \| snapshot
2010-10-06	Andrea Asperti	Removed nAuto.ml-mli	commit \| commitdiff \| tree \| snapshot
2010-10-05	Andrea Asperti	whelp and cic disambiguation removed	commit \| commitdiff \| tree \| snapshot
2010-10-05	Andrea Asperti	-hbugs: RIP	commit \| commitdiff \| tree \| snapshot
2010-10-05	Andrea Asperti	Â£- use ----------- in place of ## for sequents	commit \| commitdiff \| tree \| snapshot
2010-10-05	Andrea Asperti	-textual widget no longer editable	commit \| commitdiff \| tree \| snapshot
2010-10-05	Andrea Asperti	Font resizing and syntax highlighting re-activated...	commit \| commitdiff \| tree \| snapshot
2010-10-05	Andrea Asperti	- parser: "whelp ...Â"removed	commit \| commitdiff \| tree \| snapshot
2010-10-05	Andrea Asperti	- matitaWiki removed	commit \| commitdiff \| tree \| snapshot
2010-10-01	Enrico Tassi	16.2	commit \| commitdiff \| tree \| snapshot
2010-10-01	Andrea Asperti	MathML widget no longer used. Requesciat in pacem	commit \| commitdiff \| tree \| snapshot
2010-09-30	Enrico Tassi	sync with stable:	commit \| commitdiff \| tree \| snapshot
2010-09-30	Enrico Tassi	patches for hints & unification:	commit \| commitdiff \| tree \| snapshot
2010-09-30	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2010-09-30	Claudio Sacerdoti...	test to see if svn cp worked as expected	commit \| commitdiff \| tree \| snapshot
2010-09-30	Claudio Sacerdoti...	Stuff moved from old Matita.	commit \| commitdiff \| tree \| snapshot
2010-09-30	Claudio Sacerdoti...	Towards Matita 1.0 (new kernel etc. only).	commit \| commitdiff \| tree \| snapshot
2010-09-29	Enrico Tassi	hints for \epsilon	commit \| commitdiff \| tree \| snapshot
2010-09-28	Enrico Tassi	hints polished and fixed to allow recursive inference...	commit \| commitdiff \| tree \| snapshot
2010-09-28	Enrico Tassi	nicer hints, 16.1->3 done	commit \| commitdiff \| tree \| snapshot
2010-09-27	Enrico Tassi	many fixes to setoids for re, 16.1 almost done	commit \| commitdiff \| tree \| snapshot
2010-09-27	Enrico Tassi	fixed notation for \cup and \cap	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom