Michael Kohlhase (1a279de3) at 25 Nov 14:35
removing old, redundant committed junk
Michael Kohlhase (d0a39616) at 24 Nov 11:17
getting rid of mhinputref
Michael Kohlhase (bdc6763e) at 21 Nov 15:37
removing the mh options
Michael Kohlhase (c2aebc24) at 21 Nov 11:54
taking care of \trefi and friends
Michael Kohlhase (3ee30523) at 16 Nov 09:43
taking care of all (trivial) Op, Rel, and FN, and functions=, and s...
Michael Kohlhase (2e919d46) at 29 Oct 09:58
Michael Kohlhase (2e919d46) at 28 Jun 06:37
undoing preamble changes from yesterday, they cannot work
... and 1 more commit