| author | Cezary Kaliszyk <kaliszyk@in.tum.de> |
| Mon, 30 Aug 2010 15:59:16 +0900 | |
| changeset 2457 | f89d1c52d647 |
| parent 2330 | 8728f7990f6d |
| child 2465 | 07ffa4e41659 |
| permissions | -rw-r--r-- |
| 1484 | 1 |
quick_and_dirty := true; |
|
2330
8728f7990f6d
merged cezary's changes
Christian Urban <urbanc@in.tum.de>
parents:
2186
diff
changeset
|
2 |
no_document use_thys ["LaTeXsugar", "../Nominal/NewParser"]; |
|
754
b85875d65b10
added a paper for possible notes
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
3 |
use_thys ["Paper"]; |