| Tue, 06 May 2008 00:08:52 +0200 | wenzelm | element: isakeyword markup; | changeset | files |
| Mon, 05 May 2008 15:27:13 +0200 | wenzelm | removed isasymIN -- already defined in isar.sty; | changeset | files |
| Mon, 05 May 2008 15:23:59 +0200 | wenzelm | added isasymIN/STRUCTURE; | changeset | files |