# HG changeset patch
# User aspinall
# Date 1164278351 -3600
# Node ID 44f616cc8985326dcc4183bce98916d47b4661cc
# Parent  fea600a852f8334b7055fa82ddd9a2395dae0d7e
Add retractfile to supported pgip commands

diff -r fea600a852f8 -r 44f616cc8985 src/Pure/proof_general.ML
--- a/src/Pure/proof_general.ML	Thu Nov 23 11:24:33 2006 +0100
+++ b/src/Pure/proof_general.ML	Thu Nov 23 11:39:11 2006 +0100
@@ -1109,7 +1109,7 @@
      "showproofstate", "showctxt", "searchtheorems", "setlinewidth", "viewdoc",
      "doitem", "undoitem", "redoitem", "abortheory",
      "retracttheory", "loadfile", "openfile", "closefile",
-     "abortfile", "changecwd", "systemcmd"];
+     "abortfile", "retractfile", "changecwd", "systemcmd"];
 
 fun usespgip () =
     issue_pgip