equal
deleted
inserted
replaced
10 |
10 |
11 cd "$ISABELLE_HOME/etc" |
11 cd "$ISABELLE_HOME/etc" |
12 |
12 |
13 isabelle keywords \ |
13 isabelle keywords \ |
14 "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" \ |
14 "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" \ |
15 "$LOG/IOA.gz" "$LOG/HOL-Boogie.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-SMT.gz" \ |
15 "$LOG/IOA.gz" "$LOG/HOL-Boogie.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" |
16 "$LOG/HOL-Statespace.gz" |
|
17 |
16 |
18 isabelle keywords -k ZF \ |
17 isabelle keywords -k ZF \ |
19 "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz" |
18 "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz" |
20 |
19 |