| author | wenzelm |
| Mon, 21 Jun 2010 11:24:19 +0200 | |
| changeset 37380 | 35815ce9218a |
| parent 37216 | 3165bc303f66 |
| child 38767 | d8da44a8dd25 |
| permissions | -rw-r--r-- |
|
37216
3165bc303f66
modernized some structure names, keeping a few legacy aliases;
wenzelm
parents:
32833
diff
changeset
|
1 |
Unsynchronized.set Thy_Output.source; |
|
28220
889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff
changeset
|
2 |
use "../../antiquote_setup.ML"; |
|
889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff
changeset
|
3 |
|
| 32833 | 4 |
use_thys ["Basics", "Interfaces", "Presentation", "Misc"]; |