| Tue, 26 Apr 2016 22:44:31 +0200 | wenzelm | some uses of 'obtain' with structure statement; | changeset | files |
| Tue, 26 Apr 2016 22:39:17 +0200 | wenzelm | 'obtain' supports structured statements (similar to 'define'); | changeset | files |
| Tue, 26 Apr 2016 21:46:12 +0200 | wenzelm | more portable: GNU find no longer supports "-perm +mode"; | changeset | files |
| Tue, 26 Apr 2016 19:37:47 +0200 | wenzelm | more uniform operations for structured statements; | changeset | files |
| Tue, 26 Apr 2016 16:20:28 +0200 | wenzelm | defs are closed, which leads to proper auto_bind_facts; | changeset | files |
| Tue, 26 Apr 2016 11:56:06 +0200 | wenzelm | tuned notation; | changeset | files |