blob: 729b7530af0a901a6fdf47c1645c836f5cbd73f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
Plastic Proof General
Written by Paul Callaghan
Status: under development together with Plastic
Maintainer: Paul Callaghan
Plastic version: ??
Plastic homepage: http://www.dur.ac.uk/CARG/plastic.html
========================================
$Id$
|