Age | Commit message (Expand) | Author |
---|---|---|
2022-03-10 | HiTeX: changing /* _WIN32 ... */ to /* |_WIN32| ... */ to keep TeX happy. | Martin Ruckert |
2022-02-23 | upgrading hitex to version 1.4 of the HINT file format | Martin Ruckert |
2022-02-14 | fixing alignments in displays, localtime instead of gmt, bug in copy_list | Martin Ruckert |
2022-01-19 | updating the HINT viewer source files with changes due to Android | Martin Ruckert |
2022-01-19 | adding files to build the Linux HINT viewer (independent of the TL build) | Martin Ruckert |