FriCAS Code
Brought to you by:
whebisch
Menu
▾
▴
Tree [r2635] / releases / 1.3.1 / src / doc / History
| File | Date | Author | Commit |
|---|---|---|---|
| bitmaps | 2013-07-09 | hemmecke | [r1586] re-establish HyperDoc content from .htex sources |
| ht | 2015-02-25 | whebisch | [r1887] Misc cleanups |
| htex | 2017-02-15 | whebisch | [r2198] Add typo correction from trunk |
| Makefile.in | 2016-09-08 | whebisch | [r2106] Fix "make clean" |
| ht.awk | 2016-06-16 | whebisch | [r2009] Fix incompatibility with mawk |
| secmenu.awk | 2013-07-09 | hemmecke | [r1586] re-establish HyperDoc content from .htex sources |
| syscmd.awk | 2013-11-16 | hemmecke | [r1667] remove trailing whitespace, trailing empty line... |