src/Tools/Code/code_preproc.ML
Sat, 12 Jul 2025 07:36:38 +0200 haftmann always use proper context when parsing constants
Fri, 25 Apr 2025 11:22:25 +0200 wenzelm more scalable: discontinue odd shortcuts from 6b3739fee456, which produce bulky strings internally;
Sun, 06 Apr 2025 14:20:41 +0200 haftmann reflect nested lists in variables names
Fri, 29 Nov 2024 17:40:15 +0100 wenzelm clarified signature: shorten common cases;
Sun, 27 Mar 2022 19:27:52 +0000 haftmann prefer build combinator
Wed, 20 Oct 2021 18:13:17 +0200 wenzelm discontinued obsolete "val extend = I" for data slots;
Fri, 10 Sep 2021 14:59:19 +0200 wenzelm clarified signature: more scalable operations;
less more (0) -100 -30 -10 -7 tip