diff options
author | 1998-11-26 20:43:10 +0000 | |
---|---|---|
committer | 1998-11-26 20:43:10 +0000 | |
commit | 01b2aab0c63b451dc6c488ae4eb666c70acb55eb (patch) | |
tree | 0b5656ac272e14aece8952d3bca7ba2b46629d3a | |
parent | c7b4b7285cbf75c1c77a07436e14a04efe9c157a (diff) |
Added HTML files.
-rw-r--r-- | doc/.cvsignore | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/doc/.cvsignore b/doc/.cvsignore index 145b4f15..b21fadf4 100644 --- a/doc/.cvsignore +++ b/doc/.cvsignore @@ -15,8 +15,6 @@ ProofGeneral.cps ProofGeneral.fns ProofGeneral.vrs ProofGeneral.info-* - - - - - +ProofGeneral.html +ProofGeneral_toc.html +ProofGeneral_foot.html |