| Thu, 03 Jan 2008 22:25:16 +0100 | wenzelm | simplified position_props, always include line/file fields; | changeset | files |
| Thu, 03 Jan 2008 22:25:15 +0100 | wenzelm | replaced thread_properties by simplified version in position.ML; | changeset | files |
| Thu, 03 Jan 2008 22:25:13 +0100 | wenzelm | nested_command: simplified properties vs. position -- the latter also includes id now; | changeset | files |