| Tue, 13 May 2014 09:21:22 +0200 | traytel | bnf_decl -> bnf_axiomatization | changeset | files |
| Mon, 12 May 2014 17:17:32 +0200 | wenzelm | tuned signature to make axiomatizations more easy to spot in the source, via "add_axioms" or "axiomatization"; | changeset | files |
| Mon, 12 May 2014 00:13:38 +0200 | webertj | Replaced refute with nitpick. | changeset | files |
| Mon, 12 May 2014 12:38:17 +0200 | wenzelm | NEWS; | changeset | files |
| Mon, 12 May 2014 12:31:33 +0200 | wenzelm | tuned message; | changeset | files |
| Mon, 12 May 2014 12:01:02 +0200 | wenzelm | smarter recovery from toplevel type error; | changeset | files |
| Sun, 11 May 2014 20:23:08 +0200 | wenzelm | more direct patch of public interface DockableWindowContainer -- avoid package org.gjt.sp.jedit.gui intrusion; | changeset | files |
| Fri, 09 May 2014 23:00:18 +0200 | wenzelm | updated keywords; | changeset | files |