39591
|
1 |
<?xml version="1.0" encoding="ISO-8859-1" ?>
|
|
2 |
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
3 |
<html xmlns="http://www.w3.org/1999/xhtml">
|
|
4 |
|
|
5 |
<head>
|
|
6 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
|
39736
|
7 |
<title>Notes on Isabelle/jEdit Prover IDE</title>
|
39591
|
8 |
</head>
|
|
9 |
|
|
10 |
<body>
|
|
11 |
|
39736
|
12 |
<h1>Notes on Isabelle/jEdit Prover IDE</h1>
|
39591
|
13 |
|
|
14 |
<ul>
|
|
15 |
|
39736
|
16 |
<li>Formal Isabelle/Isar text is checked asynchronously while editing.</li>
|
|
17 |
|
|
18 |
<li>Prover feedback works via tooltips, syntax highlighting, colors, boxes etc.
|
|
19 |
based on semantic markup provided by Isabelle in the background.</li>
|
39591
|
20 |
|
39736
|
21 |
<li>The modifier key <tt>C</tt> (<tt>CONTROL</tt> on Linux or Windows,
|
|
22 |
<tt>COMMAND</tt> on Mac OS) exposes additional information.</li>
|
|
23 |
|
|
24 |
<li>Dockable panels (e.g. <b>Output</b> are managed as independent windows by jEdit.
|
|
25 |
Multiple instances are possible.</li>
|
39591
|
26 |
|
|
27 |
</ul>
|
|
28 |
|
|
29 |
</body>
|
|
30 |
</html>
|
|
31 |
|