| author | Cezary Kaliszyk <kaliszyk@in.tum.de> |
| Wed, 24 Nov 2010 16:59:26 +0900 | |
| changeset 2576 | 67828f23c4e9 |
| parent 2465 | 07ffa4e41659 |
| child 2747 | a5da7b6aff8f |
| permissions | -rw-r--r-- |
| 1484 | 1 |
quick_and_dirty := true; |
|
2465
07ffa4e41659
adapted paper to changes
Christian Urban <urbanc@in.tum.de>
parents:
2330
diff
changeset
|
2 |
no_document use_thys ["LaTeXsugar", "../Nominal/Nominal2"]; |
|
754
b85875d65b10
added a paper for possible notes
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
3 |
use_thys ["Paper"]; |