| Fri, 06 Apr 2012 19:18:00 +0200 | haftmann | tuned | changeset | files |
| Fri, 06 Apr 2012 18:17:16 +0200 | haftmann | no preference wrt. fold(l/r); prefer fold rather than foldr for iterating over lists in generated code | changeset | files |
| Sat, 07 Apr 2012 19:59:09 +0200 | wenzelm | enable parallel proofs (cf. e8552cba702d), only affects packages so far; | changeset | files |
| Sat, 07 Apr 2012 19:28:44 +0200 | wenzelm | added static command status markup, to emphasize accepted but unassigned/unparsed commands (notably in overview panel); | changeset | files |
| Sat, 07 Apr 2012 18:08:29 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sat, 07 Apr 2012 17:55:35 +0200 | wenzelm | more robust update_perspective, e.g. required after reload of buffer that is not at start position; | changeset | files |
| Sat, 07 Apr 2012 17:49:20 +0200 | wenzelm | tuned imports; | changeset | files |
| Sat, 07 Apr 2012 17:48:47 +0200 | wenzelm | updated header keywords; | changeset | files |