Fri, 10 Nov 2006 22:18:53 +0100 | wenzelm | removed mapping; | file | diff | annotate |
Thu, 09 Nov 2006 21:44:34 +0100 | wenzelm | init: '-' refers to global context; | file | diff | annotate |
Sat, 14 Oct 2006 23:25:56 +0200 | wenzelm | added peek; | file | diff | annotate |
Thu, 12 Oct 2006 22:57:42 +0200 | wenzelm | added peek; | file | diff | annotate |
Wed, 11 Oct 2006 22:55:21 +0200 | wenzelm | exit: pass interactive flag; | file | diff | annotate |
Wed, 11 Oct 2006 00:27:37 +0200 | wenzelm | added begin; | file | diff | annotate |
Mon, 09 Oct 2006 02:20:08 +0200 | wenzelm | added exit; | file | diff | annotate |
Sat, 07 Oct 2006 01:31:23 +0200 | wenzelm | Common theory targets. | file | diff | annotate |