Mon, 27 Feb 2012 17:39:34 +0100 | wenzelm | prefer uniform Timing.message -- avoid assumption about sequential execution; | file | diff | annotate |
Mon, 27 Feb 2012 16:56:25 +0100 | wenzelm | more explicit Long_Name operations (NB: analyzing qualifiers is inherently fragile); | file | diff | annotate |
Wed, 22 Feb 2012 17:22:53 +0100 | bulwahn | adding new command "find_unused_assms" | file | diff | annotate |