diff options
| author | Makarius Wenzel | 1999-07-28 11:51:40 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-07-28 11:51:40 +0000 |
| commit | 7721360a7bc3372bc7eb392338b426e953f91268 (patch) | |
| tree | d99e9cd246cddb655f00527ab5b05f78a12bcc03 | |
| parent | 8ded4372a5f263fceec7dd53c107fcf9c1be5145 (diff) | |
fixed Id;
| -rw-r--r-- | isar/isar-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index d6aeceb6..b41a65c8 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -4,7 +4,7 @@ ;; Author: David Aspinall <da@dcs.ed.ac.uk> ;; Maintainer: Markus Wenzel <wenzelm@in.tum.de> ;; -;; $Id isar-syntax.el,v 2.14 1998/11/03 14:41:54 da Exp$ +;; $Id$ ;; (require 'proof-syntax) |