equal
deleted
inserted
replaced
12 ## Emacs ProofGeneral |
12 ## Emacs ProofGeneral |
13 |
13 |
14 cd "$ISABELLE_HOME/etc" |
14 cd "$ISABELLE_HOME/etc" |
15 |
15 |
16 isatool keywords -t emacs \ |
16 isatool keywords -t emacs \ |
17 "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL-Plain.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" \ |
17 "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" \ |
18 "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" |
18 "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" |
19 |
19 |
20 isatool keywords -t emacs -k ZF \ |
20 isatool keywords -t emacs -k ZF \ |
21 "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz" |
21 "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz" |
22 |
22 |
24 ## jEdit |
24 ## jEdit |
25 |
25 |
26 cd "$ISABELLE_HOME/lib/jedit" |
26 cd "$ISABELLE_HOME/lib/jedit" |
27 |
27 |
28 isatool keywords -t jedit \ |
28 isatool keywords -t jedit \ |
29 "$LOG/Pure.gz" "$LOG/HOL-Plain.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" \ |
29 "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" \ |
30 "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" "$LOG/FOL.gz" "$LOG/ZF.gz" |
30 "$LOG/HOL-Statespace.gz" "$LOG/FOL.gz" "$LOG/ZF.gz" |