https://isabelle.in.tum.de/repos/isabelle/ en-us isabelle: Admin/website/installation_macos_emacs.html history Admin/website/installation_macos_emacs.html revision history unify dist and main https://isabelle.in.tum.de/repos/isabelle/log/abb280dd3431/Admin/website/installation_macos_emacs.html haftmann Wed, 21 Sep 2005 16:37:37 +0200 unified main and dist https://isabelle.in.tum.de/repos/isabelle/log/bf2cd93cc245/Admin/website/installation_macos_emacs.html haftmann Mon, 04 Jul 2005 15:15:55 +0200