Sun, 15 Oct 2006 11:47:13 +0200 | kleing | generate devel snapshot even if experimental builds fail. | changeset | files |
Sat, 14 Oct 2006 23:25:56 +0200 | wenzelm | added peek; | changeset | files |
Sat, 14 Oct 2006 23:25:55 +0200 | wenzelm | added theorem(_i); | changeset | files |