File: Contents

package info (click to toggle)
otter 3.3f-1
  • links: PTS
  • area: main
  • in suites: lenny, squeeze
  • size: 10,352 kB
  • ctags: 2,649
  • sloc: ansic: 33,155; csh: 288; makefile: 142; perl: 122
file content (25 lines) | stat: -rw-r--r-- 756 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
 
README.first      quick start info
README            general information
README.make       info on compiling
README.Win32      info for Microsoft users
README.Ivy        info on checking proofs

index.html        HTML summary of this package

documents/        reference manuals

Makefile          top-level makefile
source/           Otter ource code
mace2/            Mace2 source code (uses Otter source)

examples/         Otter examples
examples-mace2/   Mace2 examples

bin/              this should be initially empty
bin-Darwin/       pre-compiled binaries for Macintosh OS X
bin-Linux/        pre-compiled binaries for Linux

Changelog         list of changes to Otter
Legal             copyright, licence, disclaimer
Contents          this file