FRDCSA

simp-isar-mode

Jump To: Parent Description

  • This is a very shitty emacs mode for **basic** displaying and editing of Isabelle files (.thy) the idea is to avoid opening a fully fledged JEdit for trivial stuff.