Merge pull request #229 from akohlmey/small-corrections
collected various small corrections and updates
GitHub <noreply@github.com> | Oct 19 2016, 16:57 |
junge | Oct 19 2017, 09:53 |
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
ffb8eb36da4b | Axel Kohlmeyer | Revert "recognize any word starting with FP as FPRIME style table" | Oct 19 2016 | |||
263446867664 | Axel Kohlmeyer | dead code removal | Oct 19 2016 | |||
566effc9c961 | Axel Kohlmeyer | account for new fix halt properly in PDF and online docs | Oct 19 2016 | |||
86f5b5113344 | Axel Kohlmeyer | recognize any word starting with FP as FPRIME style table | Oct 19 2016 | |||
ccca642b3ae6 | Axel Kohlmeyer | fix typo | Oct 19 2016 |