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

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

2011-10-03	matitaweb	Matitaweb file flag test.	commit \| commitdiff \| tree \| snapshot
2011-10-03	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-03	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2011-10-02	Ferruccio Guidi	- xhtbl.css is ready!	commit \| commitdiff \| tree \| snapshot
2011-09-30	matitaweb	Matitaweb: test commit.	commit \| commitdiff \| tree \| snapshot
2011-09-30	matitaweb	Matitaweb: test commit.	commit \| commitdiff \| tree \| snapshot
2011-09-30	matitaweb	Matitaweb: test commit.	commit \| commitdiff \| tree \| snapshot
2011-09-30	matitaweb	Matitaweb: test commit.	commit \| commitdiff \| tree \| snapshot
2011-09-30	Wilmer Ricciotti	Matitaweb: Library test.	commit \| commitdiff \| tree \| snapshot
2011-09-30	matitaweb	...	commit \| commitdiff \| tree \| snapshot
2011-09-30	Wilmer Ricciotti	Matitaweb: Some bugfixes concerning file flags.	commit \| commitdiff \| tree \| snapshot
2011-09-30	matitaweb	Matitaweb:	commit \| commitdiff \| tree \| snapshot
2011-09-29	Ferruccio Guidi	still new colors ...	commit \| commitdiff \| tree \| snapshot
2011-09-29	Ferruccio Guidi	bugfix in one of the new colors :)	commit \| commitdiff \| tree \| snapshot
2011-09-29	Ferruccio Guidi	bugfix in remote update	commit \| commitdiff \| tree \| snapshot
2011-09-29	Ferruccio Guidi	new colors for the crux ...	commit \| commitdiff \| tree \| snapshot
2011-09-29	matitaweb	Tutorial update.	commit \| commitdiff \| tree \| snapshot
2011-09-29	matitaweb	Tutorial di Matita (lupo, capra, cavoli)	commit \| commitdiff \| tree \| snapshot
2011-09-26	Claudio Sacerdoti...	Not well understood patch: an assert false did occur...	commit \| commitdiff \| tree \| snapshot
2011-09-22	Ferruccio Guidi	- the confluence of context-senstitive parallel reducti...	commit \| commitdiff \| tree \| snapshot
2011-09-22	Wilmer Ricciotti	Matitaweb: Fixed a bug which caused matita to forget...	commit \| commitdiff \| tree \| snapshot
2011-09-21	Andrea Asperti	Map in NCicUtils now takes an optional boolea to disabl...	commit \| commitdiff \| tree \| snapshot
2011-09-21	matitaweb	1) removed many debug prints	commit \| commitdiff \| tree \| snapshot
2011-09-20	Wilmer Ricciotti	Matitaweb: disabled many verbose debug prints.	commit \| commitdiff \| tree \| snapshot
2011-09-20	Andrea Asperti	The Blob is not abstracted on the context any more.	commit \| commitdiff \| tree \| snapshot
2011-09-18	Ferruccio Guidi	some improvements about the partial unfold on terms...	commit \| commitdiff \| tree \| snapshot
2011-09-17	Wilmer Ricciotti	Fixes a bug (introduced in the previous revision) which...	commit \| commitdiff \| tree \| snapshot
2011-09-16	Wilmer Ricciotti	This commit patches the environment and the library...	commit \| commitdiff \| tree \| snapshot
2011-09-16	matitaweb	File uploading	commit \| commitdiff \| tree \| snapshot
2011-09-16	matitaweb	mah...	commit \| commitdiff \| tree \| snapshot
2011-09-16	matitaweb	The tutorial on line.	commit \| commitdiff \| tree \| snapshot
2011-09-16	matitaweb	The tutorial on line	commit \| commitdiff \| tree \| snapshot
2011-09-15	Ferruccio Guidi	unfold on terms completed!	commit \| commitdiff \| tree \| snapshot
2011-09-12	Ferruccio Guidi	remote update by make	commit \| commitdiff \| tree \| snapshot
2011-09-12	Ferruccio Guidi	added a pointer to helena in Wiedijk's list	commit \| commitdiff \| tree \| snapshot
2011-09-12	Ferruccio Guidi	update	commit \| commitdiff \| tree \| snapshot
2011-09-12	Wilmer Ricciotti	Added debug print in NCicLibrary.serialize.	commit \| commitdiff \| tree \| snapshot
2011-09-12	Ferruccio Guidi	bug fix in xslt: missing ld namespace	commit \| commitdiff \| tree \| snapshot
2011-09-12	Ferruccio Guidi	refactoring completed!	commit \| commitdiff \| tree \| snapshot
2011-09-12	matitaweb	commit by user utente1	commit \| commitdiff \| tree \| snapshot
2011-09-11	Ferruccio Guidi	bug fix in the dtd	commit \| commitdiff \| tree \| snapshot
2011-09-11	Ferruccio Guidi	refactoring and regeneration of lddl	commit \| commitdiff \| tree \| snapshot
2011-09-11	Ferruccio Guidi	the refactoring continues ...	commit \| commitdiff \| tree \| snapshot
2011-09-11	Ferruccio Guidi	refactoring ...	commit \| commitdiff \| tree \| snapshot
2011-09-09	Wilmer Ricciotti	Matitaweb: layout change in the matitaweb inteface...	commit \| commitdiff \| tree \| snapshot
2011-09-09	Ferruccio Guidi	- news update	commit \| commitdiff \| tree \| snapshot
2011-09-08	Ferruccio Guidi	- helm server url updated	commit \| commitdiff \| tree \| snapshot
2011-09-08	Ferruccio Guidi	initial commit of lambda_delta web site	commit \| commitdiff \| tree \| snapshot
2011-09-08	Ferruccio Guidi	- support for transitive closures started	commit \| commitdiff \| tree \| snapshot
2011-09-08	matitaweb	Matitaweb: fixed "new file".	commit \| commitdiff \| tree \| snapshot
2011-09-08	Wilmer Ricciotti	Matitaweb: New File functionality.	commit \| commitdiff \| tree \| snapshot
2011-09-08	matitaweb	Matitaweb: Save as...	commit \| commitdiff \| tree \| snapshot
2011-09-08	matitaweb	Matitaweb: makefile reverted to old (working) version.	commit \| commitdiff \| tree \| snapshot
2011-09-08	Wilmer Ricciotti	Matitaweb: first attempt at "Save as".	commit \| commitdiff \| tree \| snapshot
2011-09-08	matitaweb	Matitaweb: more changes to file selection dialog box.	commit \| commitdiff \| tree \| snapshot
2011-09-08	Wilmer Ricciotti	Matitaweb: changes to file selection dialog box.	commit \| commitdiff \| tree \| snapshot
2011-09-08	matitaweb	Matitaweb: changes to file selection dialog box.	commit \| commitdiff \| tree \| snapshot
2011-09-08	Wilmer Ricciotti	Matitaweb: changes in file selection dialog box.	commit \| commitdiff \| tree \| snapshot
2011-09-08	matitaweb	Matitaweb: Changes to the file selection dialog box.	commit \| commitdiff \| tree \| snapshot
2011-09-08	Wilmer Ricciotti	Matitaweb: changes to file selection dialog box.	commit \| commitdiff \| tree \| snapshot
2011-09-08	Wilmer Ricciotti	Matitaweb: Some changes in file selection dialogbox.	commit \| commitdiff \| tree \| snapshot
2011-09-07	matitaweb	...	commit \| commitdiff \| tree \| snapshot
2011-09-07	matitaweb	Changed behavior in matitaweb.js, function retrieveFile...	commit \| commitdiff \| tree \| snapshot
2011-09-07	matitaweb	logic.ma is now enriched using the correct syntax.	commit \| commitdiff \| tree \| snapshot
2011-09-07	Wilmer Ricciotti	Changed redirect behaviour of the daemon (incompatibili...	commit \| commitdiff \| tree \| snapshot
2011-09-06	Ferruccio Guidi	- confluence of context-free reduction on terms (tpr...	commit \| commitdiff \| tree \| snapshot
2011-09-06	Wilmer Ricciotti	When the user db is not found, matitaweb now creates...	commit \| commitdiff \| tree \| snapshot
2011-09-06	matitaweb	Removed ghost copy of a MatitaScriptLexer (moved from	commit \| commitdiff \| tree \| snapshot
2011-09-06	Wilmer Ricciotti	First attempt at svn commit of developments.	commit \| commitdiff \| tree \| snapshot
2011-09-05	Ferruccio Guidi	- the substitution lemma is proved!	commit \| commitdiff \| tree \| snapshot
2011-09-05	Wilmer Ricciotti	commit by user utente	commit \| commitdiff \| tree \| snapshot
2011-09-05	Wilmer Ricciotti	commit by user utente	commit \| commitdiff \| tree \| snapshot
2011-09-02	Ferruccio Guidi	- the theory of parallel substitution of local environm...	commit \| commitdiff \| tree \| snapshot
2011-08-29	Ferruccio Guidi	- we shared the atomic term constructions	commit \| commitdiff \| tree \| snapshot
2011-08-27	Ferruccio Guidi	- the shift function is now defined and cpr_shift_fwd...	commit \| commitdiff \| tree \| snapshot
2011-08-25	Ferruccio Guidi	- weakening leq, we proved cpr_bind_dx	commit \| commitdiff \| tree \| snapshot
2011-08-24	Ferruccio Guidi	one reduction rule (tpr) was redundant	commit \| commitdiff \| tree \| snapshot
2011-08-23	Ferruccio Guidi	- confluence of parallel substitution (tps) closed...	commit \| commitdiff \| tree \| snapshot
2011-08-22	Ferruccio Guidi	we now use non-telescopic substitution in parallel...	commit \| commitdiff \| tree \| snapshot
2011-08-19	Ferruccio Guidi	- tentative definition of lcpr (contex-sensitive parall...	commit \| commitdiff \| tree \| snapshot
2011-08-18	Ferruccio Guidi	the refactoring was not really complete	commit \| commitdiff \| tree \| snapshot
2011-08-18	Ferruccio Guidi	refactoring completed	commit \| commitdiff \| tree \| snapshot
2011-08-18	Ferruccio Guidi	- some refactoring	commit \| commitdiff \| tree \| snapshot
2011-08-18	Ferruccio Guidi	- matitaclean greatly improved but ...	commit \| commitdiff \| tree \| snapshot
2011-08-10	Ferruccio Guidi	refactoring completed!	commit \| commitdiff \| tree \| snapshot
2011-08-10	Ferruccio Guidi	the refactoring continues ...	commit \| commitdiff \| tree \| snapshot
2011-08-10	Ferruccio Guidi	the refactoring continues ...	commit \| commitdiff \| tree \| snapshot
2011-08-10	Ferruccio Guidi	lambda-delta must be a contrib	commit \| commitdiff \| tree \| snapshot
2011-08-10	Ferruccio Guidi	lambda-delta must be a contrib	commit \| commitdiff \| tree \| snapshot
2011-08-10	Ferruccio Guidi	some refactoring	commit \| commitdiff \| tree \| snapshot
2011-08-09	Ferruccio Guidi	confluence of parallel substitution (tps) started ...	commit \| commitdiff \| tree \| snapshot
2011-08-08	Ferruccio Guidi	- tps_tpr closed! (substitution is a reduction)	commit \| commitdiff \| tree \| snapshot
2011-08-07	Ferruccio Guidi	- cpr is now defined and the cpr_flat propery is proved...	commit \| commitdiff \| tree \| snapshot
2011-08-06	Ferruccio Guidi	- transitivity of parallel telescopic substitution...	commit \| commitdiff \| tree \| snapshot
2011-08-03	Ferruccio Guidi	the generation of the multiple conjunction is now suppo...	commit \| commitdiff \| tree \| snapshot
2011-07-29	Ferruccio Guidi	confluence of tpr completed!	commit \| commitdiff \| tree \| snapshot
2011-07-28	Ferruccio Guidi	confluence: case 13 closed	commit \| commitdiff \| tree \| snapshot
2011-07-28	Ferruccio Guidi	xoa: new binary for the generation of multiple logical...	commit \| commitdiff \| tree \| snapshot
2011-07-27	Ferruccio Guidi	- xoa: bug fix and improvement	commit \| commitdiff \| tree \| snapshot
2011-07-26	Ferruccio Guidi	tpr: more inversion lemmas and a main property stated	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom