| 6 months ago | wenzelm | clarified modules: more re-usable; | changeset | files |
| 6 months ago | wenzelm | proper protocol messages (amending 7a1f9e571046); | changeset | files |
| 6 months ago | wenzelm | clarified treatment of caret_range: better support for multiple (unrelated) selections; | changeset | files |
| 6 months ago | wenzelm | tuned whitespace; | changeset | files |
| 6 months ago | wenzelm | support incremental isabelle.select-structure --- like select-block, but based on selection instead of caret; | changeset | files |
| 6 months ago | wenzelm | clarified rendering: entity acts as atomic notation / expression; | changeset | files |
| Loading... | |||