| Sat, 26 Mar 2011 21:45:29 +0100 | wenzelm | present theory content as future, depending on intermediate proof state futures -- potential to reduce memory requirements and improve parallelization; | changeset | files |
| Sat, 26 Mar 2011 21:28:04 +0100 | wenzelm | added Future.cond_forks convenience; | changeset | files |
| Sat, 26 Mar 2011 18:31:39 +0100 | wenzelm | Isabelle_System.create_tmp_path/with_tmp_file: optional extension; | changeset | files |
| Sat, 26 Mar 2011 19:16:30 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 26 Mar 2011 19:16:20 +0100 | wenzelm | more direct loose_bvar1; | changeset | files |
| Sat, 26 Mar 2011 16:21:41 +0100 | wenzelm | suppress Mercurial backup files; | changeset | files |
| Sat, 26 Mar 2011 16:10:22 +0100 | wenzelm | updated generated file; | changeset | files |
| Sat, 26 Mar 2011 15:55:22 +0100 | wenzelm | merged | changeset | files |