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

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

2005-11-26	Ferruccio Guidi	the coimplication connective (start)	commit \| commitdiff \| tree
2005-11-21	Ferruccio Guidi	internal quantification fixed	commit \| commitdiff \| tree
2005-11-19	Ferruccio Guidi	theorems about equality in classes	commit \| commitdiff \| tree
2005-11-19	Ferruccio Guidi	some definitions about subsets	commit \| commitdiff \| tree
2005-11-19	Ferruccio Guidi	some renaming	commit \| commitdiff \| tree
2005-11-16	Ferruccio Guidi	predicative subsets started	commit \| commitdiff \| tree
2005-11-16	Ferruccio Guidi	universal quantifier added	commit \| commitdiff \| tree
2005-11-14	Ferruccio Guidi	contribs/PREDICATIVE-TOPOLOGY added as test directory	commit \| commitdiff \| tree
2005-10-29	Ferruccio Guidi	Aczel categories finished	commit \| commitdiff \| tree
2005-10-18	Ferruccio Guidi	definition of eq improved (?) parametrizing an argument	commit \| commitdiff \| tree
2005-10-13	Ferruccio Guidi	more comments added	commit \| commitdiff \| tree
2005-10-12	Ferruccio Guidi	tlt_defs: notation updated	commit \| commitdiff \| tree
2005-09-05	Ferruccio Guidi	LAMBDA-TYPES moved under contribs	commit \| commitdiff \| tree
2005-07-25	Ferruccio Guidi	some more changes and corrections	commit \| commitdiff \| tree
2005-07-19	Ferruccio Guidi	patched	commit \| commitdiff \| tree
2005-07-19	Ferruccio Guidi	the decompose tactic is now working	commit \| commitdiff \| tree
2005-07-15	Ferruccio Guidi	some reorganization and some corrections	commit \| commitdiff \| tree
2005-07-15	Ferruccio Guidi	some reorganization and some corrections	commit \| commitdiff \| tree
2005-07-15	Ferruccio Guidi	some reorganization and some corrections	commit \| commitdiff \| tree
2005-07-07	Ferruccio Guidi	another bug of auto	commit \| commitdiff \| tree
2005-07-06	Ferruccio Guidi	fix please	commit \| commitdiff \| tree
2005-07-05	Ferruccio Guidi	name specifications added for elim_intros, elim_intros_simpl...	commit \| commitdiff \| tree
2005-07-05	Ferruccio Guidi	id ;-) and lapply patched	commit \| commitdiff \| tree
2005-06-30	Ferruccio Guidi	lapply and fwd improved	commit \| commitdiff \| tree
2005-06-29	Ferruccio Guidi	lapply reimplemented using letin_tac	commit \| commitdiff \| tree
2005-06-28	Ferruccio Guidi	lapply improved	commit \| commitdiff \| tree
2005-06-28	Ferruccio Guidi	lapply improved	commit \| commitdiff \| tree
2005-06-25	Ferruccio Guidi	first working (?) version of lapply	commit \| commitdiff \| tree
2005-06-25	Ferruccio Guidi	firs wrking (?) version of lapply	commit \| commitdiff \| tree
2005-06-24	Ferruccio Guidi	lapply tactic continued	commit \| commitdiff \| tree
2005-06-15	Ferruccio Guidi	support for the new tactics lapply and fwd	commit \| commitdiff \| tree
2005-06-15	Ferruccio Guidi	beginning of the tactics lapply and fwd	commit \| commitdiff \| tree
2005-06-07	Ferruccio Guidi	control of dependences improved	commit \| commitdiff \| tree
2005-06-04	Ferruccio Guidi	a contribution about subset theory in an intuitionistic...	commit \| commitdiff \| tree
2005-06-03	Ferruccio Guidi	contribution about \lambda-\delta	commit \| commitdiff \| tree
2005-05-25	Ferruccio Guidi	some work for Gares	commit \| commitdiff \| tree
2005-05-06	Ferruccio Guidi	The README file was patched	commit \| commitdiff \| tree
2005-05-06	Ferruccio Guidi	Toolbox: preliminary version	commit \| commitdiff \| tree
2005-04-08	Ferruccio Guidi	the description file was patched	commit \| commitdiff \| tree
2005-04-01	Ferruccio Guidi	initial version of the "lambda-delta" calculus including:	commit \| commitdiff \| tree
2004-09-17	Ferruccio Guidi	meta_closed added	commit \| commitdiff \| tree
2004-09-09	Ferruccio Guidi	now should run also when the db is down (untested)	commit \| commitdiff \| tree
2004-09-06	Ferruccio Guidi	bug in constraint generation for variables fixed	commit \| commitdiff \| tree
2004-05-13	Ferruccio Guidi	- some code patched	commit \| commitdiff \| tree
2004-04-14	Ferruccio Guidi	updating all sections	commit \| commitdiff \| tree
2004-04-14	Ferruccio Guidi	patched	commit \| commitdiff \| tree
2004-04-14	Ferruccio Guidi	patched	commit \| commitdiff \| tree
2004-04-13	Ferruccio Guidi	updating the introduction	commit \| commitdiff \| tree
2004-03-28	Ferruccio Guidi	updating and structuring	commit \| commitdiff \| tree
2004-03-21	Ferruccio Guidi	introduction updated	commit \| commitdiff \| tree
2004-03-21	Ferruccio Guidi	The operational semantics of the core language is ready	commit \| commitdiff \| tree
2004-03-12	Ferruccio Guidi	updating	commit \| commitdiff \| tree
2004-03-10	Ferruccio Guidi	- interpreter: the queries are printed before execution	commit \| commitdiff \| tree
2004-02-27	Ferruccio Guidi	now database interfaces are more abstract	commit \| commitdiff \| tree
2004-02-26	Ferruccio Guidi	- MySQL mode added to the interpreter	commit \| commitdiff \| tree
2004-02-20	Ferruccio Guidi	hard-coded timing of generated queries disabled: use...	commit \| commitdiff \| tree
2004-02-20	Ferruccio Guidi	- mathql interpreter flags reorganized	commit \| commitdiff \| tree
2004-02-19	Ferruccio Guidi	source logging patched	commit \| commitdiff \| tree
2004-02-19	Ferruccio Guidi	new mathql interpreterr flag V	commit \| commitdiff \| tree
2004-02-19	Ferruccio Guidi	source logging is now native in the interpreter	commit \| commitdiff \| tree
2004-02-19	Ferruccio Guidi	source logging enabled by default	commit \| commitdiff \| tree
2004-02-18	Ferruccio Guidi	mathql interpreter flags can be now red from helm registry	commit \| commitdiff \| tree
2004-02-18	Ferruccio Guidi	patched	commit \| commitdiff \| tree
2004-02-18	Ferruccio Guidi	batchParser and regtest patched to avoid a non encapsulated...	commit \| commitdiff \| tree
2004-02-13	Ferruccio Guidi	patched	commit \| commitdiff \| tree
2004-02-12	Ferruccio Guidi	patched for *.cmx	commit \| commitdiff \| tree
2004-02-12	Ferruccio Guidi	new .depend files	commit \| commitdiff \| tree
2004-02-10	Ferruccio Guidi	patched	commit \| commitdiff \| tree
2004-01-27	Ferruccio Guidi	bad link patched	commit \| commitdiff \| tree
2004-01-27	Ferruccio Guidi	empty goal patched	commit \| commitdiff \| tree
2004-01-27	Ferruccio Guidi	opt goal fixed	commit \| commitdiff \| tree
2003-12-17	Ferruccio Guidi	patched	commit \| commitdiff \| tree
2003-12-17	Ferruccio Guidi	Makefiles patched	commit \| commitdiff \| tree
2003-12-08	Ferruccio Guidi	mathql documentation for version 4	commit \| commitdiff \| tree
2003-12-02	Ferruccio Guidi	sort CProp added	commit \| commitdiff \| tree
2003-11-13	Ferruccio Guidi	updated	commit \| commitdiff \| tree
2003-11-05	Ferruccio Guidi	updated to version 4	commit \| commitdiff \| tree
2003-11-05	Ferruccio Guidi	updated to version 1.4	commit \| commitdiff \| tree
2003-10-29	Ferruccio Guidi	some interfaces changed to prepare the mathql code...	commit \| commitdiff \| tree
2003-10-06	Ferruccio Guidi	hxp: performes several tasks among which some metadata...	commit \| commitdiff \| tree
2003-09-23	Ferruccio Guidi	patch	commit \| commitdiff \| tree
2003-09-23	Ferruccio Guidi	Now mathql_generator compiles before mathql_interpreter.	commit \| commitdiff \| tree
2003-09-08	Ferruccio Guidi	added information on the "qdl" article with C.S.C.	commit \| commitdiff \| tree
2003-09-04	Ferruccio Guidi	CGLocateInductive patched	commit \| commitdiff \| tree
2003-09-04	Ferruccio Guidi	added the support for the "Locate Inductive Principles...	commit \| commitdiff \| tree
2003-07-30	Ferruccio Guidi	- support for comments added in mathql_db_map.txt	commit \| commitdiff \| tree
2003-07-30	Ferruccio Guidi	- information about the database map added in whatsnew...	commit \| commitdiff \| tree
2003-07-29	Ferruccio Guidi	new links added	commit \| commitdiff \| tree
2003-07-29	Ferruccio Guidi	- the mathql interpreter is not helm-dependent any...	commit \| commitdiff \| tree
2003-07-17	Ferruccio Guidi	some documentation added	commit \| commitdiff \| tree
2003-07-17	Ferruccio Guidi	dead code removed	commit \| commitdiff \| tree
2003-07-17	Ferruccio Guidi	- new generated query "unreferred" implemented at server...	commit \| commitdiff \| tree
2003-07-15	Ferruccio Guidi	description for "Irene Schena" added in authors.html	commit \| commitdiff \| tree
2003-07-10	Ferruccio Guidi	prose patched	commit \| commitdiff \| tree
2003-07-10	Ferruccio Guidi	links page added	commit \| commitdiff \| tree
2003-07-09	Ferruccio Guidi	implementation and whatsnew pages added	commit \| commitdiff \| tree
2003-07-03	Ferruccio Guidi	"backPointer" metadata enabled	commit \| commitdiff \| tree
2003-07-03	Ferruccio Guidi	new "light" implementation of intersection (compatible...	commit \| commitdiff \| tree
2003-07-02	Ferruccio Guidi	rendering of "meet" patched	commit \| commitdiff \| tree
2003-07-02	Ferruccio Guidi	mathql_generator: new constraint format (more type...	commit \| commitdiff \| tree
next

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

RSS Atom