| Sat, 28 Nov 2020 21:56:24 +0100 | wenzelm | added document antiquotation @{tool}; | file | diff | annotate |
| Sat, 04 Apr 2020 19:30:45 +0200 | wenzelm | tuned -- Command_Line.tool is already part of Isabelle_Tool; | file | diff | annotate |
| Mon, 30 Mar 2020 19:50:01 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 22 Oct 2016 12:34:58 +0200 | wenzelm | regular user tool; | file | diff | annotate | base |