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 /

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
2006-10-12	Enrico Tassi	carr_of_term now returns Fun if a Prod is encountered	tree \| commitdiff
2006-09-29	Enrico Tassi	new version of auto that is able to prove the irrationa...	tree \| commitdiff
2006-09-04	Enrico Tassi	BIG FAT COMMIT REGARDING COERCIONS:	tree \| commitdiff
2006-09-04	Andrea Asperti	Generation of inductive and inversion principles for...	tree \| commitdiff
2006-07-26	Claudio Sacerdoti...	Debug code commented out.	tree \| commitdiff
2006-07-24	Stefano Zacchiroli	use the new graphviz pretty printer API	tree \| commitdiff
2006-07-22	Enrico Tassi	matitaprover	tree \| commitdiff
2006-07-18	Claudio Sacerdoti...	libraryclean fixed to eradicate files generated from...	tree \| commitdiff
2006-07-13	Stefano Zacchiroli	added $Id$	tree \| commitdiff
2006-07-13	Stefano Zacchiroli	use the graphviz pretty printer to generate graphviz...	tree \| commitdiff
2006-07-12	Stefano Zacchiroli	generate dot files with attributes on nodes (instead...	tree \| commitdiff
2006-07-12	Stefano Zacchiroli	added uri_of_carr	tree \| commitdiff
2006-07-10	Enrico Tassi	improved coercions support:	tree \| commitdiff
2006-06-09	Claudio Sacerdoti...	1. the default for the default equality/absurd/true...	tree \| commitdiff
2006-05-25	Claudio Sacerdoti...	Axioms are not allowed with the syntax: "axiom name...	tree \| commitdiff
2006-04-14	Enrico Tassi	duplicate check for coercions when added to Db	tree \| commitdiff
2006-04-14	Enrico Tassi	added minimal euristic for generic terms carrier compa...	tree \| commitdiff
2006-03-17	Enrico Tassi	tests are now handled with a standard Makefile that...	tree \| commitdiff
2006-03-15	Enrico Tassi	more work for the release	tree \| commitdiff
2006-03-13	Enrico Tassi	Huge commit for the release. Includes:	tree \| commitdiff
2006-03-10	marangon	Added inversion principle creation for inductive predic...	tree \| commitdiff
2006-03-07	Enrico Tassi	added the creation of system_tables to the db when...	tree \| commitdiff
2006-02-18	Claudio Sacerdoti...	Bug fixed: the source and target of declared parametric...	tree \| commitdiff
2006-02-18	Claudio Sacerdoti...	Trivial bug fixed in the merging of polymorphic coercions.	tree \| commitdiff
2006-02-18	Claudio Sacerdoti...	Bug fixed in insertion of parametric coercions.	tree \| commitdiff
2006-02-15	Enrico Tassi	added support for "polymorphic" coercions	tree \| commitdiff
2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	tree \| commitdiff

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

RSS Atom