Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
settings for ATP_Manager component;
authorwenzelm
Wed, 05 Aug 2009 17:10:10 +0200
changeset 32331 e60684ecaf3d
parent 32330 4c21851036bf
child 32332 bc5cec7b2be6
settings for ATP_Manager component;
src/HOL/Tools/ATP_Manager/etc/settings file | annotate | diff | comparison | revisions 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Tools/ATP_Manager/etc/settings	Wed Aug 05 17:10:10 2009 +0200
@@ -0,0 +1,2 @@
+ISABELLE_ATP_MANAGER="$COMPONENT"
+
isabelle