| Sat, 23 Nov 2013 17:15:44 +0100 | wenzelm | more uniform / rigid checking of Goal.prove_common vs. Proof.conclude_goal -- NB: Goal.prove_common cannot check hyps right now, e.g. due to undeclared Simplifier prems; | changeset | files |
| Sat, 23 Nov 2013 17:07:36 +0100 | wenzelm | more accurate goal context; | changeset | files |
| Sat, 23 Nov 2013 17:07:11 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 23 Nov 2013 16:39:08 +0100 | wenzelm | more accurate goal context; | changeset | files |
| Sat, 23 Nov 2013 13:11:12 +0100 | wenzelm | more official option; | changeset | files |
| Fri, 22 Nov 2013 21:13:44 +0100 | wenzelm | clarified node edits sent to prover -- Clear/Blob only required for text edits within editor; | changeset | files |
| Fri, 22 Nov 2013 20:54:26 +0100 | wenzelm | exclude gzipped files from document model, to avoid confusion about actual file name and content; | changeset | files |