diff options
Diffstat (limited to 'doc/PG-adapting.texi')
| -rw-r--r-- | doc/PG-adapting.texi | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 14fe5219..8bb581dc 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -3046,11 +3046,6 @@ and operating systems. They are referred to mainly in @file{proof-compat} (which helps to keep the architecture and version dependent code in one place). -@c TEXI DOCSTRING MAGIC: proof-running-on-win32 -@defvar proof-running-on-win32 -Non-nil if Proof General is running on a windows variant system. -@end defvar - @node Useful functions and macros @section Useful functions and macros |