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 desktop as |
98 Users may install an Isabelle application icon on the KDE 2 desktop as |
99 follows: |
99 follows (version 1 may be specified as well): |
100 |
100 |
101 [ISABELLE_HOME]/bin/isatool install -k |
101 [ISABELLE_HOME]/bin/isatool install -k 2 |
102 |
102 |
103 Clicking on Isabelle will invoke the interface wrapper script (capital |
103 Clicking on Isabelle will invoke the interface wrapper script (capital |
104 Isabelle), which is usually configured to run Proof General (cf. the |
104 Isabelle), which is usually configured to run Proof General (cf. the |
105 ISABELLE_INTERFACE setting). Additional options may be passed to |
105 ISABELLE_INTERFACE setting). Additional options may be passed to |
106 Isabelle by editing the application's command line using the standard |
106 Isabelle by editing the application's command line using the standard |