| Thu, 12 Mar 2009 23:12:53 +0100 | wenzelm | more user aliases; | changeset | files |
| Thu, 12 Mar 2009 22:16:25 +0100 | wenzelm | merged | changeset | files |
| Thu, 12 Mar 2009 09:27:23 -0700 | huffman | remove trailing spaces | changeset | files |
| Thu, 12 Mar 2009 08:57:03 -0700 | huffman | remove trailing spaces | changeset | files |
| Thu, 12 Mar 2009 21:55:02 +0100 | wenzelm | simplified preparation and outer parsing of specification; | changeset | files |
| Thu, 12 Mar 2009 21:51:02 +0100 | wenzelm | simplified preparation and outer parsing of specification; | changeset | files |
| Thu, 12 Mar 2009 21:47:36 +0100 | wenzelm | removed legacy_infer_term, legacy_infer_prop; | changeset | files |