matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/algebra/finite_groups.ma

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/algebra/finite_groups.ma

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / helm / software / matita / library / algebra / finite_groups.ma

2009-05-25	Enrico Tassi	nasty change in the lexer/parser:	blob \| commitdiff \| raw
2009-04-15	Ferruccio Guidi	- transcript: bugfix	blob \| commitdiff \| raw \| diff to current
2008-08-26	Claudio Sacerdoti...	Notation \|.\| moved to core_notation.	blob \| commitdiff \| raw \| diff to current
2008-06-19	Enrico Tassi	notation on steroids: 'term 40 x' is a valid variable...	blob \| commitdiff \| raw \| diff to current
2008-06-09	Claudio Sacerdoti...	Most of the time, URIs can now be replaced with identif...	blob \| commitdiff \| raw \| diff to current
2008-03-09	Claudio Sacerdoti...	Scripts fixed. They were broken since the change to...	blob \| commitdiff \| raw \| diff to current
2007-10-14	Claudio Sacerdoti...	Some lemmas moves to the file they belong to.	blob \| commitdiff \| raw \| diff to current
2007-10-12	Claudio Sacerdoti...	Move to OCaml 3.10. Requires debian packages from unsta...	blob \| commitdiff \| raw \| diff to current
2006-11-15	Andrea Asperti	lt_O_S moved to nat/orders.ma	blob \| commitdiff \| raw \| diff to current
2006-05-09	Enrico Tassi	types2006 patch	blob \| commitdiff \| raw \| diff to current
2006-02-23	Claudio Sacerdoti...	64 "change" here and there in the library are now simpl...	blob \| commitdiff \| raw \| diff to current
2006-02-21	Claudio Sacerdoti...	Coercions are now hidden by default (in termAcicContent.ml)	blob \| commitdiff \| raw \| diff to current
2006-02-20	Claudio Sacerdoti...	Finished one lemma (after many bug fixes here and there).	blob \| commitdiff \| raw \| diff to current
2006-02-06	Claudio Sacerdoti...	* groups splitted into groups and finite_groups	blob \| commitdiff \| raw \| diff to current

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