README « multiple « isar « etc - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/etc/isar/multiple/README

blob: ad57b4497e10e43e34c7ca13e1f22a86f8d94115 (plain)

1
2
3


Test files for multiple file handling with Isabelle/Isar
(see also isa/multiple/README).