]> matita.cs.unibo.it Git - helm.git/commit
color ==> gray
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 30 May 2003 15:18:26 +0000 (15:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 30 May 2003 15:18:26 +0000 (15:18 +0000)
commit6190ffdc6a6bdd0196c2f431df0a6b0469620d2b
tree3364da3279b9ec322e1c63832134d5643dbcb098
parentb0d9f83fe0b38e6aa562998cf0c6053444541a91
color ==> gray
helm/papers/calculemus-2003/eps/step1.eps