blob: 766cc256f50d89a7d0ecb2850e81b4b870aee3e9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
Isabelle Proof General
Written by David Aspinall, later with assistance from
Markus Wenzel and David von Oheimb.
$Id$
Isabelle Proof General has full support for multiple file scripting,
with dependencies between theories communicated between Isabelle and
Proof General. It has a mode for editing theory files taken from
Isamode.
There is no support for proof by pointing yet.
|
