| Tue, 25 Mar 2008 21:01:02 +0100 | wenzelm | added 'ML_val' command (diagnostic); | changeset | files |
| Tue, 25 Mar 2008 21:01:01 +0100 | wenzelm | get fact: do not compare names; | changeset | files |
| Tue, 25 Mar 2008 21:01:00 +0100 | wenzelm | *** empty log message *** | changeset | files |
| Tue, 25 Mar 2008 19:39:59 +0100 | wenzelm | support dynamic facts; | changeset | files |