]> matita.cs.unibo.it Git - helm.git/commit
isterix?
authorLuca Padovani <luca.padovani@unito.it>
Wed, 17 Jan 2001 18:05:44 +0000 (18:05 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 17 Jan 2001 18:05:44 +0000 (18:05 +0000)
commite215920e3010f77feeaed24efff7608cef1455d3
tree698d3750d7dbda897b35a3e427d82ef1fc9b8821
parent1f9b151666123cccfc5862bce309c271799948fc
isterix?
helm/interface/isterix [deleted file]