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

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

2008-10-19	Enrico Tassi	when a file is opened the cursor is moved to the begin...	commit \| commitdiff \| tree \| snapshot
2008-10-18	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-18	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-18	Enrico Tassi	tactic language documented;	commit \| commitdiff \| tree \| snapshot
2008-10-18	Ferruccio Guidi	Acic2Procedural:	commit \| commitdiff \| tree \| snapshot
2008-10-18	Enrico Tassi	html documentation generation implemented	commit \| commitdiff \| tree \| snapshot
2008-10-18	Enrico Tassi	more doc	commit \| commitdiff \| tree \| snapshot
2008-10-18	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-17	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-17	Enrico Tassi	new command eval added	commit \| commitdiff \| tree \| snapshot
2008-10-17	Enrico Tassi	better makefile	commit \| commitdiff \| tree \| snapshot
2008-10-17	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-16	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2008-10-16	Enrico Tassi	ex for students about induction	commit \| commitdiff \| tree \| snapshot
2008-10-15	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-15	Enrico Tassi	delifting a Meta with an IRL w.r.t. another IRL complet...	commit \| commitdiff \| tree \| snapshot
2008-10-15	Enrico Tassi	some bug fixed	commit \| commitdiff \| tree \| snapshot
2008-10-15	Enrico Tassi	subst_meta was missing	commit \| commitdiff \| tree \| snapshot
2008-10-15	Claudio Sacerdoti...	minor simplification + deps fixed	commit \| commitdiff \| tree \| snapshot
2008-10-15	Claudio Sacerdoti...	New invariant and data structure to represent environme...	commit \| commitdiff \| tree \| snapshot
2008-10-14	Enrico Tassi	more work	commit \| commitdiff \| tree \| snapshot
2008-10-14	Enrico Tassi	firs step for dualization	commit \| commitdiff \| tree \| snapshot
2008-10-14	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-14	Enrico Tassi	term refinement almost done, some functions exported...	commit \| commitdiff \| tree \| snapshot
2008-10-13	Enrico Tassi	initial refiner ....	commit \| commitdiff \| tree \| snapshot
2008-10-13	Claudio Sacerdoti...	Bug fixed in LetIn: the cumulativity test was performed...	commit \| commitdiff \| tree \| snapshot
2008-10-13	Enrico Tassi	bug in psubst fixed inside local context in Irl form	commit \| commitdiff \| tree \| snapshot
2008-10-13	Enrico Tassi	better error message	commit \| commitdiff \| tree \| snapshot
2008-10-13	Enrico Tassi	ppmetasenv & subst added	commit \| commitdiff \| tree \| snapshot
2008-10-13	Enrico Tassi	NCicReduction.reduce_machine returns a boolean stating...	commit \| commitdiff \| tree \| snapshot
2008-10-08	Wilmer Ricciotti	Fixed a performance problem with unif_machines and...	commit \| commitdiff \| tree \| snapshot
2008-10-06	Enrico Tassi	slow example	commit \| commitdiff \| tree \| snapshot
2008-10-06	Enrico Tassi	3 nasty bugs fixed:	commit \| commitdiff \| tree \| snapshot
2008-10-06	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-03	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-03	Enrico Tassi	better test	commit \| commitdiff \| tree \| snapshot
2008-10-03	Enrico Tassi	not so nice patch to small_delta_step	commit \| commitdiff \| tree \| snapshot
2008-10-03	Enrico Tassi	when -debug do not catch the exception	commit \| commitdiff \| tree \| snapshot
2008-10-03	Enrico Tassi	- NCicPp.ppterm applies the substitution	commit \| commitdiff \| tree \| snapshot
2008-10-03	Enrico Tassi	the iterator was wrongly processing the application	commit \| commitdiff \| tree \| snapshot
2008-10-03	Wilmer Ricciotti	Final implementation of proof irrelevant conversion...	commit \| commitdiff \| tree \| snapshot
2008-10-03	Enrico Tassi	better debuggin output	commit \| commitdiff \| tree \| snapshot
2008-10-02	Enrico Tassi	error...	commit \| commitdiff \| tree \| snapshot
2008-10-02	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-02	Enrico Tassi	another divergence case patched	commit \| commitdiff \| tree \| snapshot
2008-10-02	Enrico Tassi	to avoid a case of divergence small_delta_step checks...	commit \| commitdiff \| tree \| snapshot
2008-10-02	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-02	Enrico Tassi	we can test the unification algorithm!	commit \| commitdiff \| tree \| snapshot
2008-10-02	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-01	Enrico Tassi	commented out unfinished code	commit \| commitdiff \| tree \| snapshot
2008-10-01	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2008-10-01	Claudio Sacerdoti...	- setters for data structures now support "commuting...	commit \| commitdiff \| tree \| snapshot
2008-09-30	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-30	Enrico Tassi	unification completed	commit \| commitdiff \| tree \| snapshot
2008-09-30	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-30	Ferruccio Guidi	librarian.ml: now the read_only .moo's are managed...	commit \| commitdiff \| tree \| snapshot
2008-09-30	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-29	Enrico Tassi	quick fix to make read-only baseuri non compiled but...	commit \| commitdiff \| tree \| snapshot
2008-09-29	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-27	Enrico Tassi	updated changelog	commit \| commitdiff \| tree \| snapshot
2008-09-27	Enrico Tassi	added UBUNTU/	commit \| commitdiff \| tree \| snapshot
2008-09-26	Enrico Tassi	more push/pop to avoid confusion with imperative data...	commit \| commitdiff \| tree \| snapshot
2008-09-26	Ferruccio Guidi	Procedural: we removed some commented code	commit \| commitdiff \| tree \| snapshot
2008-09-26	Enrico Tassi	include statement better implemented:	commit \| commitdiff \| tree \| snapshot
2008-09-26	Enrico Tassi	fixed some notational collisions	commit \| commitdiff \| tree \| snapshot
2008-09-26	Enrico Tassi	auto was compiraing lazy proof terms with = ... fixed	commit \| commitdiff \| tree \| snapshot
2008-09-26	Enrico Tassi	iremoved call to auto	commit \| commitdiff \| tree \| snapshot
2008-09-26	Enrico Tassi	commented out a line that was making the file fail	commit \| commitdiff \| tree \| snapshot
2008-09-26	Enrico Tassi	lazy proof term to increase sharing and decrease memory...	commit \| commitdiff \| tree \| snapshot
2008-09-26	Enrico Tassi	some work	commit \| commitdiff \| tree \| snapshot
2008-09-25	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-25	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-25	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-25	Enrico Tassi	beta expand	commit \| commitdiff \| tree \| snapshot
2008-09-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2008-09-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2008-09-25	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-24	Enrico Tassi	added skip function	commit \| commitdiff \| tree \| snapshot
2008-09-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-22	Enrico Tassi	new iterator	commit \| commitdiff \| tree \| snapshot
2008-09-22	Ferruccio Guidi	new small devel	commit \| commitdiff \| tree \| snapshot
2008-09-22	Enrico Tassi	fixed auto invocation	commit \| commitdiff \| tree \| snapshot
2008-09-21	Ferruccio Guidi	we commented some of the debug pps rather than removing...	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	snapshot, cicMsubst compiles	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	more abstract discrimination tree	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	added list_seq	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	better abstraction to allow 1 discrimination tree imple...	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	new discrimination tree	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	Revised discrimination tree implementation:	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	more comments and compare function for URI exported	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	removed debug pps	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	new reorganization	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom