| Sat, 28 Nov 2020 21:56:24 +0100 | wenzelm | added document antiquotation @{tool}; | file | diff | annotate |
| Sun, 06 Jan 2019 15:04:34 +0100 | wenzelm | isabelle update -u path_cartouches; | file | diff | annotate |
| Fri, 13 Nov 2015 14:49:30 +0100 | wenzelm | more uniform jEdit properties; | file | diff | annotate |