Fri, 02 Nov 2012 12:00:51 +0100 | berghofe | Allow parentheses around left-hand sides of array associations | file | diff | annotate |
Thu, 23 Aug 2012 17:46:03 +0200 | wenzelm | tuned messages: end-of-input rarely means physical end-of-file from the past; | file | diff | annotate |
Thu, 22 Mar 2012 10:10:02 +0100 | berghofe | No longer treat "title" as FDL keyword | file | diff | annotate |
Sat, 03 Mar 2012 22:17:52 +0100 | wenzelm | tuned; | file | diff | annotate |
Sat, 23 Jul 2011 16:37:17 +0200 | wenzelm | defer evaluation of Scan.message, for improved performance in the frequent situation where failure is handled later (e.g. via ||); | file | diff | annotate |
Fri, 21 Jan 2011 10:35:53 +0100 | wenzelm | made SML/NJ happy; | file | diff | annotate |
Sat, 15 Jan 2011 12:35:29 +0100 | berghofe | Added new SPARK verification environment. | file | diff | annotate |