diff options
| author | David Aspinall | 2010-08-11 13:20:13 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-11 13:20:13 +0000 |
| commit | 72e32b259215bda786365b70d267abefe4f929d7 (patch) | |
| tree | c6d677e2e0975c4745c8602827c13e74bb08ae5e /FAQ | |
| parent | 6dd96d298dc891760b4dd64963f25f38e4aef002 (diff) | |
isabelle-string-face: switch to a more traditional green
(strings are brown, but logic is green)
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions