diff options
| author | Pierre Courtieu | 2015-04-13 13:06:40 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2015-04-13 13:06:40 +0000 |
| commit | 6de817881dd92175165b47c672e4ab7d9fb3e4c2 (patch) | |
| tree | a6d8d09ef540a21967fe8def733f4dfc7afb4973 /pgshell/example.pgsh | |
| parent | 53ab650ed0a357bb5a70a333863c25d0b924a53e (diff) | |
Debugging font-lock for ∀, ∃, and λ.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions