]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/library/librarySync.ml
universes are written with the URI inside objects, this allows
[helm.git] / helm / software / components / library / librarySync.ml
2008-04-30 Enrico Tassiuniverses are written with the URI inside objects,...
2008-04-22 Enrico Tassioblivion ugraph everywhere outside the kernel
2008-04-11 Enrico Tassicall Unshare.fresh_types
2008-03-31 Claudio Sacerdoti... Automatic generation of elimination and inversion princ...
2008-03-05 Enrico Tassiverbosity increased in case of error
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2007-11-16 Enrico Tassicompose tactic restore and added nocomposites keyword
2007-11-16 Enrico Tassiadded -noinnertypes
2007-11-02 Claudio Sacerdoti... Added an hook useful in many situations.
2007-09-11 Ferruccio GuidilibrarySync - we do not generate the object attributes...
2007-09-05 Ferruccio Guidi- lybrarySync:
2007-09-04 Claudio Sacerdoti... Composition of coercions with arity > 0 is now implemen...
2007-08-30 Enrico Tassibugfix in computation of src and tgt for coercions...
2007-08-30 Claudio Sacerdoti... Coercions are now generalized to the general form
2007-07-10 Ferruccio Guidipersistent inner types are now generated in publishing...
2007-07-06 Enrico Tassimaxipatch for support of multiple DBs.
2007-06-01 Enrico Tassiremoved some refinement_toolkit
2007-05-24 Enrico Tassifixed a when that was causing backtrace loss
2007-05-23 Claudio Sacerdoti... Reindented.
2007-01-31 Claudio Sacerdoti... Several bugs fixed:
2007-01-05 Enrico TassiAdded check for duplicate (convertible) composite coerc...
2006-12-30 Claudio Sacerdoti... Serious bug fixed: arities of coercions in the .moo...
2006-12-14 Claudio Sacerdoti... Huge commit:
2006-12-05 Ferruccio Guidi- components: composed coercions mus be generated with...
2006-10-31 Claudio Sacerdoti... Bug fixed: inductive types were no longer removed from...
2006-10-30 Claudio Sacerdoti... remove_obj is now much faster:
2006-09-04 Enrico TassiBIG FAT COMMIT REGARDING COERCIONS:
2006-09-04 Andrea AspertiGeneration of inductive and inversion principles for...
2006-07-26 Claudio Sacerdoti... Debug code commented out.
2006-07-22 Enrico Tassimatitaprover
2006-07-10 Enrico Tassiimproved coercions support:
2006-06-09 Claudio Sacerdoti... 1. the default for the default equality/absurd/true...
2006-05-25 Claudio Sacerdoti... Axioms are not allowed with the syntax: "axiom name...
2006-04-14 Enrico Tassi duplicate check for coercions when added to Db
2006-03-13 Enrico TassiHuge commit for the release. Includes:
2006-03-10 marangonAdded inversion principle creation for inductive predic...
2006-02-15 Enrico Tassiadded support for "polymorphic" coercions
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/