]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b5e602) | patch
Example program executed for x,y=0.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Jul 2007 22:17:13 +0000 (22:17 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Jul 2007 22:17:13 +0000 (22:17 +0000)
commit55c36d6afb04b83f8598c25d89045c3592c69fa0
tree9a5b45888e4d3e2432c06b71116a77404e49a021tree | snapshot
parent8b5e602b86e392d7cc004765547ceba05a35e969commit | diff
Example program executed for x,y=0.
It works (slowly, much slowly)!
matita/library/assembly/assembly.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.