| Sat, 08 Oct 2005 20:15:34 +0200 | wenzelm | minor tweaks for Poplog/PML; | file | diff | annotate |
| Mon, 15 Aug 2005 21:38:25 +0200 | dixon | lucas - fixed bug in changing focus - when moving up and right, if an abs was encountered it would move up an extra time. I also removed the spurious pretty printing function that did nothing. | file | diff | annotate |
| Thu, 02 Jun 2005 09:11:32 +0200 | wenzelm | header; | file | diff | annotate |
| Fri, 22 Apr 2005 15:10:42 +0200 | dixon | lucas - fixed a big with renaming of bound variables. Other small changes. | file | diff | annotate |
| Sat, 26 Mar 2005 16:14:17 +0100 | gagern | op vor infix-Konstruktoren im datatype binding zum besseren Parsen | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Tue, 01 Feb 2005 18:01:57 +0100 | paulson | the new subst tactic, by Lucas Dixon | file | diff | annotate |