New repository initialized by cvs2svn.

git-svn-id: svn+ssh://spartan.csl.sri.com/svn/public/pvs/trunk@1 ab98feae-9515-0410-836f-c1e8bd48b6aa
Initial revision


git-svn-id: svn+ssh://spartan.csl.sri.com/svn/public/pvs/trunk@2 ab98feae-9515-0410-836f-c1e8bd48b6aa
Demo version; does nothing useful.


git-svn-id: svn+ssh://spartan.csl.sri.com/svn/public/pvs/trunk@3 ab98feae-9515-0410-836f-c1e8bd48b6aa
Mixture of old, working code and new, nonworking code.


git-svn-id: svn+ssh://spartan.csl.sri.com/svn/public/pvs/trunk@4 ab98feae-9515-0410-836f-c1e8bd48b6aa
Working version after rewrite.


git-svn-id: svn+ssh://spartan.csl.sri.com/svn/public/pvs/trunk@5 ab98feae-9515-0410-836f-c1e8bd48b6aa
Working version with incremental updating.


git-svn-id: svn+ssh://spartan.csl.sri.com/svn/public/pvs/trunk@6 ab98feae-9515-0410-836f-c1e8bd48b6aa
Working code with colors and automove.


git-svn-id: svn+ssh://spartan.csl.sri.com/svn/public/pvs/trunk@7 ab98feae-9515-0410-836f-c1e8bd48b6aa
Another working version.


git-svn-id: svn+ssh://spartan.csl.sri.com/svn/public/pvs/trunk@8 ab98feae-9515-0410-836f-c1e8bd48b6aa
Support for theory hierarchies and for configurable horiz. and
vert. separations.


git-svn-id: svn+ssh://spartan.csl.sri.com/svn/public/pvs/trunk@9 ab98feae-9515-0410-836f-c1e8bd48b6aa
Changed all the mono colors to black.


git-svn-id: svn+ssh://spartan.csl.sri.com/svn/public/pvs/trunk@10 ab98feae-9515-0410-836f-c1e8bd48b6aa
Try making done goals gray on mono screen.


git-svn-id: svn+ssh://spartan.csl.sri.com/svn/public/pvs/trunk@11 ab98feae-9515-0410-836f-c1e8bd48b6aa
Add focus to custom; change mod-hier to th-hier.


git-svn-id: svn+ssh://spartan.csl.sri.com/svn/public/pvs/trunk@12 ab98feae-9515-0410-836f-c1e8bd48b6aa
Fix proof-current.


git-svn-id: svn+ssh://spartan.csl.sri.com/svn/public/pvs/trunk@13 ab98feae-9515-0410-836f-c1e8bd48b6aa
Deleted bogus comment.


git-svn-id: svn+ssh://spartan.csl.sri.com/svn/public/pvs/trunk@14 ab98feae-9515-0410-836f-c1e8bd48b6aa
Fixed bugs and added command abbreviations.


git-svn-id: svn+ssh://spartan.csl.sri.com/svn/public/pvs/trunk@15 ab98feae-9515-0410-836f-c1e8bd48b6aa
Delete temp files when displaying sequent; kill debugging message
accidentally left in.


git-svn-id: svn+ssh://spartan.csl.sri.com/svn/public/pvs/trunk@16 ab98feae-9515-0410-836f-c1e8bd48b6aa
Fixed memory leak.


git-svn-id: svn+ssh://spartan.csl.sri.com/svn/public/pvs/trunk@17 ab98feae-9515-0410-836f-c1e8bd48b6aa
Initial revision


git-svn-id: svn+ssh://spartan.csl.sri.com/svn/public/pvs/trunk@18 ab98feae-9515-0410-836f-c1e8bd48b6aa
Added GCL changes


git-svn-id: svn+ssh://spartan.csl.sri.com/svn/public/pvs/trunk@19 ab98feae-9515-0410-836f-c1e8bd48b6aa
intial revision


git-svn-id: svn+ssh://spartan.csl.sri.com/svn/public/pvs/trunk@20 ab98feae-9515-0410-836f-c1e8bd48b6aa