| Age | Commit message (Collapse) | Author |
|---|
|
|
|
warning should not stop compilation).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
proof-assert-electric-terminator: restore expected behaviour with/without term.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
anyway wrong technique). Instead use inhibit-read-only to allow write
in possibly read-only area.
|
|
span-write-warning: don't call FUN if inhibit-read-only.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
improvements
|
|
proof-script
|
|
|
|
|
|
|
|
under fontconfig (i.e. existence of smoothly rendering free fonts with
same metrics)
|
|
|
|
|
|
|
