| author | boehmes |
| Tue, 07 Dec 2010 15:44:38 +0100 | |
| changeset 41064 | 0c447a17770a |
| parent 38767 | d8da44a8dd25 |
| child 43564 | 9864182c6bad |
| permissions | -rw-r--r-- |
|
38767
d8da44a8dd25
proper context for various Thy_Output options, via official configuration options in ML and Isar;
wenzelm
parents:
37216
diff
changeset
|
1 |
Thy_Output.source_default := true; |
|
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"]; |