| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
feature)
|
|
|
|
with holes
mode (unfortunately).
|
|
|
|
|
|
(see Trac #341)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
of t (for safety, no ill behaviour observed)
|
|
|
|
|
|
|
|
|
|
changing code.
|
|
|
|
|
|
STIXRegular doesn't include italic variants of symbols, resulting
in empty glyphs appearing on Mac OS X
|
|
|
|
|
|
but doesn't reflect changes as they happen.
|
|
|
|
|
|
|
|
|
|
|
|
of redisplay to reveal invisibility spec changes
|
|
|
|
|
|
|
|
|
|
|
|
about Solaris. Experiment using pipe instead of pty communication as
default now scomint buffer not intended for interactive input and runs
prover process directly.
|
|
|
|
|
|
|
