hallgren 7c88b7935f 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>'

2014-05-07 16:37:28 +00:00

6.6 KiB

Raw Blame History

View Raw