equal
deleted
inserted
replaced
93 |
93 |
94 |
94 |
95 Isabelle as KDE application |
95 Isabelle as KDE application |
96 --------------------------- |
96 --------------------------- |
97 |
97 |
98 Users may install an Isabelle application icon on the KDE 2 desktop as |
98 Users may install an Isabelle application icon on the KDE desktop as |
99 follows (version 1 may be specified as well): |
99 follows: |
|
100 |
|
101 [ISABELLE_HOME]/bin/isatool install -k 1 |
|
102 |
|
103 This will install the KDE icon in ~/.kde |
100 |
104 |
101 [ISABELLE_HOME]/bin/isatool install -k 2 |
105 [ISABELLE_HOME]/bin/isatool install -k 2 |
|
106 |
|
107 does the same, but in ~/.kde2 |
102 |
108 |
103 Clicking on Isabelle will invoke the interface wrapper script (capital |
109 Clicking on Isabelle will invoke the interface wrapper script (capital |
104 Isabelle), which is usually configured to run Proof General (cf. the |
110 Isabelle), which is usually configured to run Proof General (cf. the |
105 ISABELLE_INTERFACE setting). Additional options may be passed to |
111 ISABELLE_INTERFACE setting). Additional options may be passed to |
106 Isabelle by editing the application's command line using the standard |
112 Isabelle by editing the application's command line using the standard |