| Sat, 23 Jul 2011 16:37:17 +0200 | 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 | made SML/NJ happy; | file | diff | annotate |
| Sat, 15 Jan 2011 12:35:29 +0100 | Added new SPARK verification environment. | file | diff | annotate |