| author | Christian Urban <urbanc@in.tum.de> |
| Tue, 28 Sep 2010 05:56:11 -0400 | |
| changeset 2494 | 11133eb76f61 |
| 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"]; |