|
24888
|
1 |
Basic Isabelle mode for jEdit -- http://www.jedit.org/
|
|
|
2 |
======================================================
|
|
|
3 |
|
|
|
4 |
INSTALLATION
|
|
|
5 |
|
|
|
6 |
1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle.xml to
|
|
|
7 |
[JEDIT_SETTINGS]/modes/
|
|
|
8 |
|
|
|
9 |
2) Add the following entry [JEDIT_SETTINGS]/modes/catalog
|
|
|
10 |
|
|
24889
|
11 |
<MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>
|
|
24888
|
12 |
|
|
|
13 |
Example catalog file:
|
|
|
14 |
|
|
24889
|
15 |
<?xml version="1.0"?>
|
|
|
16 |
<!DOCTYPE MODES SYSTEM "catalog.dtd">
|
|
|
17 |
<MODES>
|
|
|
18 |
<MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>
|
|
|
19 |
</MODES>
|
|
24888
|
20 |
|
|
24889
|
21 |
|
|
24888
|
22 |
$Id$
|