matita.cs.unibo.it Git - helm.git/history - helm/software/components/library

]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/library

[helm.git] / helm / software / components / library /

2015-01-22	Ferruccio Guidi	dependences update	tree \| commitdiff
2010-03-24	Claudio Sacerdoti...	...	tree \| commitdiff
2009-11-16	Wilmer Ricciotti	Implementation of ndestruct tactic (including destructi...	tree \| commitdiff
2009-10-06	Wilmer Ricciotti	Inverters/Inversion:	tree \| commitdiff
2009-10-05	Enrico Tassi	added auto_cache in the dupable status after an	tree \| commitdiff
2009-10-02	Wilmer Ricciotti	Updated command ninverter. Syntax:	tree \| commitdiff
2009-10-02	Claudio Sacerdoti...	...	tree \| commitdiff
2009-09-30	Wilmer Ricciotti	Added initial support for inversion principles in Matit...	tree \| commitdiff
2009-09-09	Enrico Tassi	depends	tree \| commitdiff
2009-07-07	Claudio Sacerdoti...	1) Include files for NG were neither recursively proces...	tree \| commitdiff
2009-06-25	Ferruccio Guidi	- some depend files :)	tree \| commitdiff
2009-06-19	Claudio Sacerdoti...	NG decompilation is now activated. However, it is calle...	tree \| commitdiff
2009-06-15	Enrico Tassi	huge commit regarding the grafite_status:	tree \| commitdiff
2009-05-18	Enrico Tassi	nothing special	tree \| commitdiff
2009-05-08	Claudio Sacerdoti...	...	tree \| commitdiff
2009-05-01	Ferruccio Guidi	- librarian: 3 bugs fixed in the building system:	tree \| commitdiff
2009-04-14	Ferruccio Guidi	we rebuilt the dependences	tree \| commitdiff
2009-03-25	Enrico Tassi	new tactics are almost ready	tree \| commitdiff
2009-01-26	Enrico Tassi	we were generating a name for the main fix twice	tree \| commitdiff
2009-01-19	Enrico Tassi	all pullbacks are attempted in sequence, removed many...	tree \| commitdiff
2009-01-15	Enrico Tassi	if the user attempts to insert a duplicate coercions...	tree \| commitdiff
2009-01-13	Enrico Tassi	many changes regarding coercions:	tree \| commitdiff
2009-01-08	Enrico Tassi	more composites to make all happy!	tree \| commitdiff
2009-01-06	Enrico Tassi	coercions reordering implemented	tree \| commitdiff
2008-12-15	Enrico Tassi	aded some whd, you should be able to declare something...	tree \| commitdiff
2008-09-30	Ferruccio Guidi	librarian.ml: now the read_only .moo's are managed...	tree \| commitdiff
2008-09-29	Enrico Tassi	quick fix to make read-only baseuri non compiled but...	tree \| commitdiff
2008-09-21	Ferruccio Guidi	we commented some of the debug pps rather than removing...	tree \| commitdiff
2008-09-19	Enrico Tassi	removed debug pps	tree \| commitdiff
2008-09-18	Enrico Tassi	removed debug pps	tree \| commitdiff
2008-09-18	Ferruccio Guidi	librarian: improved error detection, bug fix in time...	tree \| commitdiff
2008-09-12	Ferruccio Guidi	old bug in mtime computation fixed	tree \| commitdiff
2008-09-10	Ferruccio Guidi	cicDischarge, Procedural: we improved debugging and...	tree \| commitdiff
2008-07-21	Ferruccio Guidi	we implemented the support for generating ma files...	tree \| commitdiff
2008-07-14	Ferruccio Guidi	lambda-delta: we added the support for position indexes...	tree \| commitdiff
2008-07-12	Ferruccio Guidi	librarian: retrieval of buildable files speeded up...	tree \| commitdiff
2008-07-07	Enrico Tassi	simplified coercDb implementation with additional info...	tree \| commitdiff
2008-07-02	Wilmer Ricciotti	Fixed a bug which prevented mutually recursive definiti...	tree \| commitdiff
2008-04-30	Enrico Tassi	universes are written with the URI inside objects,...	tree \| commitdiff
2008-04-22	Enrico Tassi	oblivion ugraph everywhere outside the kernel	tree \| commitdiff
2008-04-11	Enrico Tassi	call Unshare.fresh_types	tree \| commitdiff
2008-04-11	Enrico Tassi	when we build the elimination principle we fresh univer...	tree \| commitdiff
2008-03-31	Claudio Sacerdoti...	Automatic generation of elimination and inversion princ...	tree \| commitdiff
2008-03-05	Enrico Tassi	verbosity increased in case of error	tree \| commitdiff
2008-03-04	Ferruccio Guidi	components/library: dotdothack removed	tree \| commitdiff
2008-02-22	Ferruccio Guidi	- added some options to matitadep: -stdout and -exclude	tree \| commitdiff
2008-02-19	Ferruccio Guidi	now inline "file.ma" is allowed.	tree \| commitdiff
2008-02-12	Enrico Tassi	allow to use "../foo/bar.ma" as a path for the include...	tree \| commitdiff
2008-02-08	Claudio Sacerdoti...	Bug fixed in generation of elimination principles of...	tree \| commitdiff
2008-01-14	Enrico Tassi	added some doc	tree \| commitdiff
2008-01-14	Enrico Tassi	better parsing of the root file	tree \| commitdiff
2008-01-11	Enrico Tassi	added a warning when a file is not compiled cause its...	tree \| commitdiff
2008-01-11	Enrico Tassi	Make does not even try to build files that would be...	tree \| commitdiff
2008-01-11	Enrico Tassi	cache for mtime of files is not polluted with None...	tree \| commitdiff
2008-01-11	Enrico Tassi	Make was caching too much, thus some targets were not...	tree \| commitdiff
2008-01-10	Enrico Tassi	BIG FAT WARNING: DEVELOPMENTS DIE HERE	tree \| commitdiff
2007-11-16	Enrico Tassi	compose tactic restore and added nocomposites keyword	tree \| commitdiff
2007-11-16	Enrico Tassi	added -noinnertypes	tree \| commitdiff
2007-11-12	Enrico Tassi	removed ugly printing	tree \| commitdiff
2007-11-05	Claudio Sacerdoti...	"f" => "aux" to avoid name clashes	tree \| commitdiff
2007-11-02	Claudio Sacerdoti...	Added an hook useful in many situations.	tree \| commitdiff
2007-10-12	Claudio Sacerdoti...	Move to OCaml 3.10. Requires debian packages from unsta...	tree \| commitdiff
2007-09-11	Ferruccio Guidi	librarySync - we do not generate the object attributes...	tree \| commitdiff
2007-09-08	Enrico Tassi	removed an assertion that makes no more sense to me	tree \| commitdiff
2007-09-05	Ferruccio Guidi	- lybrarySync:	tree \| commitdiff
2007-09-04	Claudio Sacerdoti...	Composition of coercions with arity > 0 is now implemen...	tree \| commitdiff
2007-08-30	Enrico Tassi	reverted assertion, since it may happen to look for...	tree \| commitdiff
2007-08-30	Enrico Tassi	bugfix in computation of src and tgt for coercions...	tree \| commitdiff
2007-08-30	Claudio Sacerdoti...	Coercions are now generalized to the general form	tree \| commitdiff
2007-08-30	Enrico Tassi	coercions from funclass are not supported	tree \| commitdiff
2007-07-26	Ferruccio Guidi	We add a binary for computing the "heights" of helm...	tree \| commitdiff
2007-07-19	Enrico Tassi	COERCIONS: tentative addition of an equivalence relatio...	tree \| commitdiff
2007-07-19	Enrico Tassi	fixed escaping for sqlite	tree \| commitdiff
2007-07-10	Ferruccio Guidi	persistent inner types are now generated in publishing...	tree \| commitdiff
2007-07-10	Enrico Tassi	fixed a bug in the cleanup ofsedir that was not properl...	tree \| commitdiff
2007-07-06	Enrico Tassi	maxipatch for support of multiple DBs.	tree \| commitdiff
2007-06-14	Claudio Sacerdoti...	Incompatible syntax problem between MySql e Sqlite3...	tree \| commitdiff
2007-06-13	Enrico Tassi	many changes:	tree \| commitdiff
2007-06-01	Enrico Tassi	removed some refinement_toolkit	tree \| commitdiff
2007-06-01	Enrico Tassi	new compose tactic, still undocumented.	tree \| commitdiff
2007-05-29	Enrico Tassi	hSqlite3.ml used create_fun_2 to define REGEXP.	tree \| commitdiff
2007-05-24	Enrico Tassi	fixed a when that was causing backtrace loss	tree \| commitdiff
2007-05-23	Claudio Sacerdoti...	Yet another patch to LibraryClean.	tree \| commitdiff
2007-05-23	Claudio Sacerdoti...	HSql.Error ==> HSql.Error of string	tree \| commitdiff
2007-05-23	Claudio Sacerdoti...	Reindented.	tree \| commitdiff
2007-05-18	lzingare	added alternative implementation for hMysql relying	tree \| commitdiff
2007-01-31	Claudio Sacerdoti...	Several bugs fixed:	tree \| commitdiff
2007-01-05	Enrico Tassi	Added check for duplicate (convertible) composite coerc...	tree \| commitdiff
2006-12-30	Claudio Sacerdoti...	Serious bug fixed: arities of coercions in the .moo...	tree \| commitdiff
2006-12-29	Ferruccio Guidi	now we try two distinct depend files for compilation...	tree \| commitdiff
2006-12-28	Claudio Sacerdoti...	.depends committed to fix non-compilation errors	tree \| commitdiff
2006-12-24	Ferruccio Guidi	some depend files	tree \| commitdiff
2006-12-14	Claudio Sacerdoti...	Huge commit:	tree \| commitdiff
2006-12-05	Ferruccio Guidi	- components: composed coercions mus be generated with...	tree \| commitdiff
2006-11-25	Enrico Tassi	fix	tree \| commitdiff
2006-11-25	Enrico Tassi	patch to calculate meets of a pair of carriers	tree \| commitdiff
2006-11-12	Claudio Sacerdoti...	The pretty printers in CicPp now have an optional ...	tree \| commitdiff
2006-11-05	Claudio Sacerdoti...	Critical bug finally found after a long chasing!!!	tree \| commitdiff
2006-10-31	Claudio Sacerdoti...	Bug fixed: inductive types were no longer removed from...	tree \| commitdiff
2006-10-30	Claudio Sacerdoti...	remove_obj is now much faster:	tree \| commitdiff
next

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

RSS Atom