--- a/Admin/website/dist/installation_notes_macosx.html Sat Jun 04 21:35:20 2005 +0200
+++ b/Admin/website/dist/installation_notes_macosx.html Sat Jun 04 21:35:20 2005 +0200
@@ -1,6 +1,6 @@
<?xml version='1.0' encoding='iso-8859-1' ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<?cvs id="$Id$"?>
+<!-- $Id$ -->
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
@@ -52,11 +52,11 @@
<li>At this point, you should be able to run Isabelle with the command line
interface. You can also build Isabelle from the Unix command line,
following the instructions for "Compiling Logics" in file
- <tt>Isabelle/INSTALL.</tt></li>
+ <tt class="shellcmd">Isabelle/INSTALL.</tt></li>
<li>You should also be able to launch <a href=
"http://proofgeneral.inf.ed.ac.uk/">Proof General</a> by typing
- "<tt>Isabelle</tt>" at the Unix command line. This will invoke the
+ <tt class="shellcmd">Isabelle</tt> at the Unix command line. This will invoke the
Apple-supplied version of Emacs in a terminal window, providing a primitive
environment. Somewhat better is to run Proof General from within a version
of Emacs ported as a native Mac OS X application, such as <a href=
@@ -64,7 +64,7 @@
<a href="http://mindlube.com/products/emacs/">mindlube's</a> or <a href=
"http://www.cs.man.ac.uk/%7efranconi/mac-emacs/">Enhanced Carbon Emacs</a>.
Visiting a theory file from Emacs will automatically launch Proof General
- provided <tt>isabelle</tt> is on the search path. None of these options
+ provided <tt class="shellcmd">isabelle</tt> is on the search path. None of these options
support the X-Symbol package, unfortunately.</li>
</ol>