isabelle: src/Doc/Codegen/Setup.thy@4b875a4c83b0 (annotated)

28213 b52f9205a02d New outline for codegen tutorial -- draft haftmann parents: diff changeset	1	theory Setup
39066 4517a4049588 more canonical theory setup haftmann parents: 38798 diff changeset	2	imports
4517a4049588 more canonical theory setup haftmann parents: 38798 diff changeset	3	Complex_Main
66453 cc19f7ca2ed6 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; wenzelm parents: 61670 diff changeset	4	"HOL-Library.Dlist"
cc19f7ca2ed6 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; wenzelm parents: 61670 diff changeset	5	"HOL-Library.RBT"
cc19f7ca2ed6 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; wenzelm parents: 61670 diff changeset	6	"HOL-Library.Mapping"
cc19f7ca2ed6 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; wenzelm parents: 61670 diff changeset	7	"HOL-Library.IArray"
28213 b52f9205a02d New outline for codegen tutorial -- draft haftmann parents: diff changeset	8	begin
b52f9205a02d New outline for codegen tutorial -- draft haftmann parents: diff changeset	9
69605 a96320074298 isabelle update -u path_cartouches; wenzelm parents: 66453 diff changeset	10	ML_file \<open>../antiquote_setup.ML\<close>
a96320074298 isabelle update -u path_cartouches; wenzelm parents: 66453 diff changeset	11	ML_file \<open>../more_antiquote.ML\<close>
48891 c0eafbd55de3 prefer ML_file over old uses; wenzelm parents: 46517 diff changeset	12
81136 2b949a3bfaac more syntax bundles; wenzelm parents: 80914 diff changeset	13	unbundle constrain_space_syntax
38503 7115853eaf8a pretty constraint syntax; tuned theory imports haftmann parents: 38460 diff changeset	14
59324 f5f9993a168d prefer option for default code printing width haftmann parents: 56240 diff changeset	15	declare [[default_code_width = 74]]
34071 93bfbb557e2e default_code_width is now proper theory data haftmann parents: 32833 diff changeset	16
42669 04dfffda5671 more conventional naming scheme: names_long, names_short, names_unique; wenzelm parents: 42358 diff changeset	17	declare [[names_unique = false]]
28213 b52f9205a02d New outline for codegen tutorial -- draft haftmann parents: diff changeset	18
b52f9205a02d New outline for codegen tutorial -- draft haftmann parents: diff changeset	19	end

author	wenzelm
	Wed, 12 Mar 2025 11:39:00 +0100
changeset 82265	4b875a4c83b0
parent 81136	2b949a3bfaac
permissions	-rw-r--r--