Michael Kohlhase (b9e9099a) at 10 Jul 07:58
more ignorance
Michael Kohlhase (adbbd384) at 24 Apr 11:20
fixing the dependencies in MANIFEST.MF: computing with smglom/meta-...
Michael Kohlhase (4f13b1de) at 12 Apr 11:00
adding url-base
Dennis Müller (3ed99d28) at 07 Apr 08:34
fix
Michael Kohlhase (b9bb992a) at 06 Apr 16:02
shortening \symname and \symref
Michael Kohlhase (47d2d2de) at 07 Jan 10:58
more names without -
Michael Kohlhase (6482781e) at 06 Jan 13:18
fixing \piecewise
Dennis Müller (0c9db058) at 31 Dec 14:10
init
Michael Kohlhase (6b814e18) at 25 Nov 14:16
Michael Kohlhase (62c80116) at 09 Nov 08:26
running emacsify
Michael Kohlhase (11d1d2e6) at 08 Nov 08:33
getting rid of DCM and WApersons
Michael Kohlhase (cf4679e3) at 25 Oct 14:04
finishing consolidating grammar treatment
Michael Kohlhase (9d4dbe95) at 10 Oct 08:00
getting rid of spurious ?
Michael Kohlhase (ba9c19d2) at 04 Oct 07:02
draining
Michael Kohlhase (d47f8c1a) at 02 Oct 18:39
more sequence markup
Michael Kohlhase (fa266b5a) at 27 Sep 12:44
renaming mod to slides
Michael Kohlhase (5e3d3ec3) at 27 Sep 10:10
reorganizing smglom with mod subdirs
Michael Kohlhase (38d33226) at 24 Sep 00:09
debugging structures