Mon, 06 Apr 2015 17:06:48 +0200 | wenzelm | @{command_spec} is superseded by @{command_keyword}; | file | diff | annotate |
Fri, 09 Jan 2015 08:36:59 +0100 | haftmann | modernized and more uniform style | file | diff | annotate |
Mon, 03 Nov 2014 14:50:27 +0100 | wenzelm | eliminated unused int_only flag (see also c12484a27367); | file | diff | annotate |
Sun, 31 Aug 2014 09:10:41 +0200 | haftmann | restored generic value slot, retaining default behaviour and separate approximate command | file | diff | annotate |
Thu, 15 May 2014 16:38:33 +0200 | haftmann | dropped dead code | file | diff | annotate |
Fri, 09 May 2014 08:13:37 +0200 | haftmann | hardcoded nbe and sml into value command | file | diff | annotate |
Fri, 09 May 2014 08:13:36 +0200 | haftmann | modernized setups | file | diff | annotate |
Fri, 09 May 2014 08:13:36 +0200 | haftmann | degeneralized value command into HOL | file | diff | annotate | base |