diff options
| author | hallgren <hallgren@chalmers.se> | 2014-05-07 16:37:28 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-05-07 16:37:28 +0000 |
| commit | 04e7bdb6fe5c888a4c45f0d9cac6ffebc6f5d835 (patch) | |
| tree | 64bcb6dae68fb4c5c2aed64e2244bc121323632d /src/server | |
| parent | 27fc5e5b04b0e828c11fe7081f9edf311e46581a (diff) | |
Two improvements in the pgf-shell example
1. Like pgf-translate, it now shows one result at a time, press Enter to get
more results.
2. You can load a new grammar with the command 'i <path-to-pgf>'
Diffstat (limited to 'src/server')
0 files changed, 0 insertions, 0 deletions