Improve Isabelle interface

spechub / Hets

The Heterogeneous Tool Set

http://hets.eu

GNU General Public License v2.0

57 stars 19 forks source link

Improve Isabelle interface #137

Open sternk opened 10 years ago

sternk commented 10 years ago

Reported by maeder and assigned to maeder Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/137

One emacs with spec and proof buffer
Reload button should rebuild buffers while keeping as much as possible
keep structuring of Hets theories

Maybe .thy files should be kept in subdirectories or maybe there is a better way to keep track of Isabelle proofs rather than by patching See #311 (structuring) and #296 (editor) for more systematic solutions.

sternk commented 10 years ago

Comment by luecke Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/137#comment:6

This ticket should be resolved within a larger context (FormalSafe theory and change management).