Fri, 08 Apr 2011 13:59:28 +0200 | wenzelm | removed outdated text (cf. 84a3f86441eb); | changeset | files |
Fri, 08 Apr 2011 13:31:16 +0200 | wenzelm | explicit structure Syntax_Trans; | changeset | files |
Fri, 08 Apr 2011 11:39:45 +0200 | wenzelm | tuned presentation; | changeset | files |
Thu, 07 Apr 2011 23:25:09 +0200 | wenzelm | report literal tokens according to parsetree head; | changeset | files |
Thu, 07 Apr 2011 21:55:09 +0200 | wenzelm | simplified read_term vs. read_prop; | changeset | files |
Thu, 07 Apr 2011 21:37:42 +0200 | wenzelm | tuned signature; | changeset | files |
Thu, 07 Apr 2011 21:23:57 +0200 | wenzelm | constant =?= no longer exists (cf. 8c09e1fa24a7); | changeset | files |