| Mon, 23 Jul 2007 13:48:30 +0200 | ballarin | interpretation: equations are propositions not pairs of terms; | file | diff | annotate |
| Sun, 03 Jun 2007 23:16:47 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Fri, 20 Apr 2007 16:55:38 +0200 | ballarin | Interpretation equations applied to attributes | file | diff | annotate |
| Sat, 14 Apr 2007 17:36:01 +0200 | wenzelm | do not enable Toplevel.debug globally; | file | diff | annotate |
| Fri, 13 Apr 2007 10:00:04 +0200 | ballarin | New file for locale regression tests. | file | diff | annotate |