diff options
| -rw-r--r-- | generic/proof.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof.el b/generic/proof.el index b0963f51..d30dbaf5 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -113,7 +113,7 @@ of the proof (starting from 1).") ;;; Load other Proof General libraries ;;; -(require 'proof-system) +;(require 'proof-system) ; PC: buggy for now David please fix this. ;;; |