![[BACK]](http://archimedes.mpiwg-berlin.mpg.de/arch/img/icons/back.gif){kind=icon}
Return to archimedes.pen
CVS log ![[TXT]](http://archimedes.mpiwg-berlin.mpg.de/arch/img/icons/text.gif){kind=icon}
![[DIR]](http://archimedes.mpiwg-berlin.mpg.de/arch/img/icons/dir.gif){kind=icon}
Up to [CVSROOT] / texts / archimedes / dtdMain History Search Repository tree
| Return to archimedes.pen
CVS log | Up to [CVSROOT] / texts / archimedes / dtd |
| version 1.14, 2003/06/23 21:53:15 | version 1.15, 2003/07/04 12:51:11 | ||
|---|---|---|---|
|
|
||
| <!ENTITY Drev "[Drev]"> | <!ENTITY Drev "[Drev]"> | ||
| <!ENTITY middot "[middot]"> | <!ENTITY middot "[middot]"> | ||
| <!ENTITY int "Ŗ"> <!-- INTEGRAL SYMBOL --> | |||
| <!ENTITY rect "[rect]"> | |||
| |||||||