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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 09c63c3) | patch

author	Andrea Asperti <andrea.asperti@unibo.it>
	Thu, 18 Nov 2010 10:44:56 +0000 (10:44 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Thu, 18 Nov 2010 10:44:56 +0000 (10:44 +0000)
commit	4556677f40e6b979d9bdaa4475bb1ca6701264f8
tree	49293c0511b33069658966197330dcbf8be98d2f	tree \| snapshot
parent	09c63c35520ceea6f0caaa0be856a3eaff46bb88	commit \| diff

- number notation ported to new library
- code for number notation made less general by hard-coding the only
notation

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