GitHub - lgerardSRI/PVS

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 5,890 Commits
BDD		BDD
Examples		Examples
bin		bin
doc		doc
eclipse		eclipse
emacs		emacs
ess		ess
lib		lib
python		python
src		src
wish		wish
.gitignore		.gitignore
INSTALL		INSTALL
LICENSE		LICENSE
Makefile.in		Makefile.in
NOTICES		NOTICES
README		README
README.GUI		README.GUI
config.guess		config.guess
config.sub		config.sub
configure.in		configure.in
install-sh		install-sh
proveit.in		proveit.in
provethem.in		provethem.in
pvs-config.lisp		pvs-config.lisp
pvs-gui		pvs-gui
pvs-tex.sub		pvs-tex.sub
pvs.in		pvs.in
pvs.sty		pvs.sty
pvs.system		pvs.system
pvsio.in		pvsio.in

Repository files navigation

The following files and directories make up PVS:
 Files:
  README           - this file
  pvs              - the shell script for invoking pvs
  pvs.sty	   - the style file supporting LaTeX output
  pvs-tex.sub      - the default substitution file for generating LaTeX

 Directories:
  Examples - some simple example specifications
  emacs    - Emacs files.
  wish     - Tcl/Tk files
  bin      - shell scripts and executables
  lib      - prelude, help files, and libraries