| Fri, 23 Sep 2005 22:31:22 +0200 | wenzelm | simprocs: pattern now "x" (the proc is supposed to discriminate faster than Pattern.match); | changeset | files |
| Fri, 23 Sep 2005 22:21:55 +0200 | wenzelm | tuned msg; | changeset | files |
| Fri, 23 Sep 2005 22:21:54 +0200 | wenzelm | added mk_solver'; | changeset | files |