| Commit message (Collapse) | Author | Age |
|
|
|
| |
without installing STIX.
|
| |
|
| |
|
| |
|
|
|
|
| |
interactive-p with called-interactively-p)
|
|
|
|
| |
GNU Emacs for Mac OS X (change was already present in Isabelle2011);
|
|
|
|
| |
the prover (after Isabelle2011);
|
|
|
|
| |
to be marked up (e.g. notation for "free" and "skolem" variables after Isabelle2011);
|
|
|
|
| |
Isabelle-users list by Peter Lammich.
|
| |
|
| |
|
| |
|
|
|
|
| |
format.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
proof-deactivate-scripting
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
buffer
|
| |
|
|
|
|
| |
compile warning
|
|
|
|
| |
(see Trac #341)
|
|
|
|
|
| |
STIXRegular doesn't include italic variants of symbols, resulting
in empty glyphs appearing on Mac OS X
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
proof-shell-interrupts-after-commit.
|
| |
|
|
|
|
| |
[experimental/temporary].
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
(strings are brown, but logic is green)
|
| |
|
| |
|
| |
|
|
|
|
| |
terrible
|
| |
|