# HG changeset patch
# User wenzelm
# Date 863700581 -7200
# Node ID c572a6c21b28c000d0de49ab87ad71d91763e6ff
# Parent  295287618e30bb836b8c6af98708b34a1f76a581
remove FIXME;

diff -r 295287618e30 -r c572a6c21b28 doc-src/Intro/getting.tex
--- a/doc-src/Intro/getting.tex	Thu May 15 14:28:32 1997 +0200
+++ b/doc-src/Intro/getting.tex	Thu May 15 14:49:41 1997 +0200
@@ -9,10 +9,6 @@
 special screen font. The meta-logic and major object-logics already
 provide such fancy output as an option.
 
-%FIXME remove
-%Menu-driven graphical interfaces are under construction, but Isabelle
-%users will always need to know some \ML, at least to use tacticals.
-
 Object-logics are built upon Pure Isabelle, which implements the
 meta-logic and provides certain fundamental data structures: types,
 terms, signatures, theorems and theories, tactics and tacticals.