TWiki
>
DReaM Web
>
IsaPlannerTips
(25 Oct 2005,
GrahamSteel
)
E
dit
A
ttach
Here will be tips and experience notes on the use of
IsaPlanner
. It will include things like:
How to build
IsaPlanner
for particular OS/Harware configurations
How to run
IsaPlanner
with parituclar versions of Isabelle
How to use
IsaPlanner
to plan and prove things
-- Main.gsteel - 25 Oct 2005
E
dit
|
A
ttach
|
P
rint version
|
H
istory
: r1
|
B
acklinks
|
R
aw View
|
Ra
w
edit
|
M
ore topic actions
Topic revision: r1 - 25 Oct 2005 - 15:44:51 -
GrahamSteel
DReaM
DReaM Web Home
Changes
Index
Search
My links
My home page
edit
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback
This Wiki uses
Cookies