src/Tools/Code/code_namespace.ML
Sun, 27 Mar 2022 19:27:52 +0000 haftmann prefer build combinator
Sun, 28 Jan 2018 16:09:00 +0100 wenzelm clarified signature;
Thu, 04 Dec 2014 16:51:54 +0100 haftmann tuned module structure
Wed, 26 Nov 2014 20:05:34 +0100 wenzelm renamed "pairself" to "apply2", in accordance to @{apply 2};
Thu, 02 Oct 2014 17:51:04 +0200 haftmann accomplish potentially case-insenstive file systems for Scala
Sat, 28 Jun 2014 22:13:20 +0200 haftmann corrected handled exception
Fri, 02 May 2014 21:18:50 +0200 haftmann enforce case of identifiers only to accomodate strict language requirements (or clear separation of constructors from variables in the case of SML)
less more (0) -30 -10 -7 tip