diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-05-24 22:56:49 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-05-24 22:56:49 +0000 |
| commit | b5f7d4a0d39ee53414adf6893a836f12f20ba362 (patch) | |
| tree | dacfdac3bedf7f63c88016beaea722ebefc5f856 /doc/mdk_mixvm.texi | |
| parent | 2bc36653227b86852e78a6d9bdec2ebb57c82bcb (diff) | |
| download | mdk-b5f7d4a0d39ee53414adf6893a836f12f20ba362.tar.gz mdk-b5f7d4a0d39ee53414adf6893a836f12f20ba362.tar.bz2 | |
license changed to gfdl
Diffstat (limited to 'doc/mdk_mixvm.texi')
| -rw-r--r-- | doc/mdk_mixvm.texi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/mdk_mixvm.texi b/doc/mdk_mixvm.texi index 8289472..3392bf0 100644 --- a/doc/mdk_mixvm.texi +++ b/doc/mdk_mixvm.texi @@ -1,3 +1,9 @@ +@c -*-texinfo-*- +@c This is part of the GNU MDK Reference Manual. +@c Copyright (C) 2000, 2001 +@c Free Software Foundation, Inc. +@c See the file mdk.texi for copying conditions. + @node mixvm, gmixvm, mixvm.el, Top @comment node-name, next, previous, up @chapter @code{mixvm}, the MIX computer simulator |