matita.cs.unibo.it Git - helm.git/blob - 004-2.ent

]> matita.cs.unibo.it Git - helm.git/blob - 004-2.ent

projects / helm.git / blob

f2ed894b23fbc5a9c7a6cd8fe1299bb3831fe673

[helm.git] / 004-2.ent

1 <!ATTLIST doc a1 CDATA "value">

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