| Mon, 25 Sep 2023 21:09:25 +0200 | wenzelm | tuned: prefer antiquotation for try-catch; | file | diff | annotate |
| Tue, 03 Jan 2023 15:32:54 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 11 Jan 2018 13:48:17 +0100 | wenzelm | uniform use of Standard ML op-infix -- eliminated warnings; | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Thu, 03 Mar 2016 15:23:02 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Sun, 12 May 2013 14:25:16 +0200 | wenzelm | decentralized historic settings; | file | diff | annotate |
| Sat, 11 May 2013 16:57:18 +0200 | wenzelm | prefer explicitly qualified exceptions, which is particular important for robust handlers; | file | diff | annotate |