| Thu, 08 Aug 2013 15:30:25 +0200 | traytel | tuned | changeset | files |
| Thu, 08 Aug 2013 14:48:19 +0200 | traytel | tuned tactic; | changeset | files |
| Thu, 08 Aug 2013 16:10:05 +0200 | Andreas Lochbihler | abort execution of generated code with explicit exception message | changeset | files |
| Thu, 08 Aug 2013 14:55:01 +0200 | wenzelm | merged | changeset | files |
| Thu, 08 Aug 2013 14:24:21 +0200 | wenzelm | dockable window for Sledgehammer, based on asynchronous/parallel query operation; | changeset | files |
| Thu, 08 Aug 2013 14:13:04 +0200 | wenzelm | tuned imports; | changeset | files |
| Thu, 08 Aug 2013 14:47:24 +0200 | kleing | snippet for instr type | changeset | files |
| Thu, 08 Aug 2013 12:01:02 +0200 | traytel | filter function on streams | changeset | files |
| Thu, 08 Aug 2013 12:00:45 +0200 | traytel | tuned | changeset | files |
| Wed, 07 Aug 2013 23:20:11 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 07 Aug 2013 21:16:20 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 07 Aug 2013 20:32:54 +0200 | wenzelm | maintain commands together with index -- avoid redundant reconstruction of full_index; | changeset | files |
| Wed, 07 Aug 2013 19:59:58 +0200 | wenzelm | more elementary list structures for markup tree traversal; | changeset | files |
| Wed, 07 Aug 2013 17:23:40 +0200 | blanchet | tuning | changeset | files |