diff options
| author | Paul Callaghan | 1999-05-11 15:19:55 +0000 |
|---|---|---|
| committer | Paul Callaghan | 1999-05-11 15:19:55 +0000 |
| commit | 81a021f98e8a41f8f24e3460d1656c23cb0ee6d9 (patch) | |
| tree | cab2d3fddb20960ba3b09a2e986b990beda9196d | |
| parent | 407db56d15c871783f180231efa52ce182df2b22 (diff) | |
added proof system "plastic", triggered by a .lf extension
| -rw-r--r-- | generic/proof-site.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 856d5977..e132bf09 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -38,7 +38,9 @@ '((isa "Isabelle" "\\.ML$\\|\\.thy$") ;(isar "Isabelle/Isar" "\\.thy$") (lego "LEGO" "\\.l$") - (coq "Coq" "\\.v$")) + (coq "Coq" "\\.v$") + (plastic "Plastic" "\\.lf$") + ) "*Proof General's table of supported proof assistants. Extend this table to add a new proof assistant. Each entry is a list of the form |