| author | wenzelm |
| Wed, 31 Dec 2008 18:53:16 +0100 | |
| changeset 29270 | 0eade173f77e |
| parent 28916 | 0a802cdda340 |
| child 32088 | 2110fcd86efb |
| permissions | -rw-r--r-- |
|
28220
889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff
changeset
|
1 |
|
|
889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff
changeset
|
2 |
(* $Id$ *) |
|
889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff
changeset
|
3 |
|
|
889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff
changeset
|
4 |
set ThyOutput.source; |
|
889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff
changeset
|
5 |
use "../../antiquote_setup.ML"; |
|
889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff
changeset
|
6 |
|
|
889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff
changeset
|
7 |
use_thy "Basics"; |
|
28916
0a802cdda340
removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
wenzelm
parents:
28838
diff
changeset
|
8 |
use_thy "Interfaces"; |
| 28221 | 9 |
use_thy "Presentation"; |
| 28224 | 10 |
use_thy "Misc"; |