| 2013-06-30 | wenzelm | discontinued system option "proofs" -- global state of Proofterm.proofs is persistently compiled into HOL-Proofs image; | changeset | files |
| 2013-06-30 | wenzelm | backout dedd7952a62c: static "proofs" value within theory prevents later inferencing with different configuration; | changeset | files |
| 2013-06-30 | wenzelm | just one alternative proof syntax, which also works for Proof_Syntax.pretty_proof/Proof_Syntax.read_proof roundtrip; | changeset | files |
| 2013-06-30 | haftmann | CONTRIBUTORS | changeset | files |
| 2013-06-29 | wenzelm | avoid potential race condition of focusLost/dismiss vs. popup.show; | changeset | files |
| 2013-06-29 | wenzelm | more direct use of screen location: avoid misplacement if parent component has already disappeared asynchronously; | changeset | files |
| 2013-06-29 | wenzelm | explicit Pretty_Tooltip.dismiss_all due to slightly changed focus mechanics; | changeset | files |
| Loading... | |||