From 7e085a4987f9bdb880d9bde1c89681a4dcf7ec7f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 11 Oct 2010 00:40:23 +0000 Subject: Whitespace --- doc/ProofGeneral.texi | 2 ++ 1 file changed, 2 insertions(+) (limited to 'doc/ProofGeneral.texi') diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index b30e8643..8138c1af 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -2455,6 +2455,8 @@ Fraktur font face. @deffn Face unicode-tokens-script-font-face Script font face. @end deffn + + @node Moving between Unicode and tokens @section Moving between Unicode and tokens -- cgit v1.2.3