Gerwin Klein c1a0f3be1c thydeps: retire theory dependency check ... Isabelle2018 will perform these checks now automatically when loading ROOT files, and the thydeps tool does not understand sessions-qualified imports.		2018-08-20 09:05:52 +10:00
..
autostop	misc/autostop: Teach stop how to send SIGABRT and SIGTERM.	2015-07-02 15:28:14 +10:00
benchmark	Removes all trailing whitespaces	2017-07-12 15:13:51 +10:00
benchmark-isabelle	Removes all trailing whitespaces	2017-07-12 15:13:51 +10:00
etc	Removes all trailing whitespaces	2017-07-12 15:13:51 +10:00
filemerge	remove most tab characters	2017-10-20 14:22:36 +11:00
fonts	Import release snapshot.	2014-07-14 21:32:44 +02:00
git-commit-emails	license-tool: missing license headers + .licenseignore [VER-551]	2016-07-14 16:34:31 +10:00
jedit/macros	misc: goto-error jEdit macro: handle errors, fix string compare	2018-05-31 11:10:40 +10:00
pysymbols	various scripts: use print_function uniformly for python3 compat	2016-01-28 16:11:07 +11:00
regression	regression: better messages for nonexistent tests	2018-06-15 11:23:57 +10:00
scripts	thydeps: retire theory dependency check	2018-08-20 09:05:52 +10:00
vim	misc: Add vim syntax files.	2016-01-06 13:57:08 +11:00
zsh	Isabelle zsh completion: handle no options (yxml); handle '=' in arg (jedit -D).	2016-03-16 14:53:12 +11:00
isa-common.mk	L4V support for using skip cache.	2016-02-10 15:39:47 +11:00