home *** CD-ROM | disk | FTP | other *** search
Text File | 1996-07-24 | 35.5 KB | 1,475 lines |
- # LaTeX2HTML 2022 (Released January 1, 2022)
- # Associate internals original text with physical files.
-
-
- $key = q/+/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/-/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/GCSTART/;
- $ref_files{$key} = "$dir".q|node32_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/_/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/_SPMgt_/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/_SPMgt__/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/_SPMlt_/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/_SPMlt__/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/abs/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/acos/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/add-signal-handler_/;
- $ref_files{$key} = "$dir".q|node32_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/address-of/;
- $ref_files{$key} = "$dir".q|node31_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/address_/;
- $ref_files{$key} = "$dir".q|node31_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/addresses/;
- $ref_files{$key} = "$dir".q|node31_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/and/;
- $ref_files{$key} = "$dir".q|node13_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/angle/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/append/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/apply/;
- $ref_files{$key} = "$dir".q|node24_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/apropos/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/asin/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/assoc/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/assq/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/assv/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/atan/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/autoload/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/autoload_/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/basename/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/begin/;
- $ref_files{$key} = "$dir".q|node13_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/boolean_/;
- $ref_files{$key} = "$dir".q|node16_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/booleansection/;
- $ref_files{$key} = "$dir".q|node16_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/builtinchapter/;
- $ref_files{$key} = "$dir".q|node15_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/bye/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/caar/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cadr/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/call-with-current-continuation/;
- $ref_files{$key} = "$dir".q|node24_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/call-with-input-file/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/call-with-input-string/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/call-with-output-file/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/call-with-output-string/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/call_cc/;
- $ref_files{$key} = "$dir".q|node24_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/canonical-path/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/car/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/case/;
- $ref_files{$key} = "$dir".q|node13_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/catch/;
- $ref_files{$key} = "$dir".q|node24_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cdddar/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cddddr/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cdr/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/ceiling/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/char-_SPMgt_integer/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/char-alphabetic_/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/char-ci_SPMgt__/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/char-ci_SPMgt___/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/char-ci_SPMlt__/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/char-ci_SPMlt___/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/char-ci__/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/char-downcase/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/char-lower-case_/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/char-numeric_/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/char-ready_/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/char-upcase/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/char-upper-case_/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/char-whitespace_/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/char_/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/char_SPMgt__/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/char_SPMgt___/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/char_SPMlt__/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/char_SPMlt___/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/char__/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/chdir/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/close-input-port/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/close-output-port/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/close-port/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/closure_/;
- $ref_files{$key} = "$dir".q|node24_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/complex_/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cond/;
- $ref_files{$key} = "$dir".q|node13_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cons/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/continuation_/;
- $ref_files{$key} = "$dir".q|node24_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/copy-tree/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cos/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/current-error-port/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/current-input-port/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/current-output-port/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/decompose-file-name/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/define-macro/;
- $ref_files{$key} = "$dir".q|node29_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/delay/;
- $ref_files{$key} = "$dir".q|node13_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/denominator/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/detail/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/dirname/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/display/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/do/;
- $ref_files{$key} = "$dir".q|node13_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/dotimes/;
- $ref_files{$key} = "$dir".q|node13_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/dump/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/dynamic-wind/;
- $ref_files{$key} = "$dir".q|node24_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/environment/;
- $ref_files{$key} = "$dir".q|node28_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/environment-_SPMgt_list/;
- $ref_files{$key} = "$dir".q|node28_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/environment_/;
- $ref_files{$key} = "$dir".q|node28_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/eq_/;
- $ref_files{$key} = "$dir".q|node17_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/equal_/;
- $ref_files{$key} = "$dir".q|node17_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/equivalencesection/;
- $ref_files{$key} = "$dir".q|node17_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/eqv_/;
- $ref_files{$key} = "$dir".q|node17_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/error/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/eval/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/eval-string/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/even_/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/exact-_SPMgt_inexact/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/exact_/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/exec/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/exit/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/exp/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/expand-file-name/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/expand-heap/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/expt/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/file-exists_/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/file-is-directory_/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/file-is-executable_/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/file-is-readable_/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/file-is-regular_/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/file-is-writable_/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/floor/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/fluid-let/;
- $ref_files{$key} = "$dir".q|node13_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/flush/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/for-each/;
- $ref_files{$key} = "$dir".q|node24_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/force/;
- $ref_files{$key} = "$dir".q|node24_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/format/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/gc/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/gc-stats/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/gcd/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/gensym/;
- $ref_files{$key} = "$dir".q|node19_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/get-internal-info/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/get-keyword/;
- $ref_files{$key} = "$dir".q|node26_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/get-output-string/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/get-signal-handlers/;
- $ref_files{$key} = "$dir".q|node32_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/get-widget-data/;
- $ref_files{$key} = "$dir".q|node27_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/getcwd/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/getenv/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/getpid/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/gf-n-methods/;
- $ref_files{$key} = "$dir".q|node60_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/glob/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/global-environment/;
- $ref_files{$key} = "$dir".q|node28_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/hash-table-_SPMgt_list/;
- $ref_files{$key} = "$dir".q|node33_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/hash-table-for-each/;
- $ref_files{$key} = "$dir".q|node33_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/hash-table-get/;
- $ref_files{$key} = "$dir".q|node33_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/hash-table-hash/;
- $ref_files{$key} = "$dir".q|node33_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/hash-table-map/;
- $ref_files{$key} = "$dir".q|node33_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/hash-table-put_/;
- $ref_files{$key} = "$dir".q|node33_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/hash-table-remove_/;
- $ref_files{$key} = "$dir".q|node33_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/hash-table-stats/;
- $ref_files{$key} = "$dir".q|node33_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/hash-table_/;
- $ref_files{$key} = "$dir".q|node33_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/hashtables/;
- $ref_files{$key} = "$dir".q|node33_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/if/;
- $ref_files{$key} = "$dir".q|node12_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/imag-part/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/inexact-_SPMgt_exact/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/inexact_/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/inheritance/;
- $ref_files{$key} = "$dir".q|node54_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/initialenv/;
- $ref_files{$key} = "$dir".q|node15_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/input-port_/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/input-string-port_/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/inputoutput/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/inspect/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/integer-_SPMgt_char/;
- $ref_files{$key} = "$dir".q|node21_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/integer_/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/keyword-_SPMgt_string/;
- $ref_files{$key} = "$dir".q|node26_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/keyword_/;
- $ref_files{$key} = "$dir".q|node26_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/keywords/;
- $ref_files{$key} = "$dir".q|node26_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/lambda/;
- $ref_files{$key} = "$dir".q|node12_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/lcm/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/length/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/let/;
- $ref_files{$key} = "$dir".q|node13_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/let_/;
- $ref_files{$key} = "$dir".q|node13_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/letrec/;
- $ref_files{$key} = "$dir".q|node13_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/list/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/list-_SPMgt_string/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/list-_SPMgt_vector/;
- $ref_files{$key} = "$dir".q|node23_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/list-ref/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/list-tail/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/list_/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/listsection/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/load/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/log/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/machine-type/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/macro/;
- $ref_files{$key} = "$dir".q|node29_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/macro-body/;
- $ref_files{$key} = "$dir".q|node29_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/macro-expand/;
- $ref_files{$key} = "$dir".q|node29_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/macro-expand-1/;
- $ref_files{$key} = "$dir".q|node29_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/macro_/;
- $ref_files{$key} = "$dir".q|node29_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/macros/;
- $ref_files{$key} = "$dir".q|node29_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/magnitude/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/make-client-socket/;
- $ref_files{$key} = "$dir".q|node36_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/make-hash-table/;
- $ref_files{$key} = "$dir".q|node33_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/make-keyword/;
- $ref_files{$key} = "$dir".q|node26_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/make-polar/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/make-rectangular/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/make-server-socket/;
- $ref_files{$key} = "$dir".q|node36_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/make-string/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/make-vector/;
- $ref_files{$key} = "$dir".q|node23_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/map/;
- $ref_files{$key} = "$dir".q|node24_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/max/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/member/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/memq/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/memv/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/min/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/modulo/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/negative_/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/newline/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/not/;
- $ref_files{$key} = "$dir".q|node16_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/null_/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/number-_SPMgt_string/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/number_/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/numerator/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/odd_/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/open-file/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/open-input-file/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/open-input-string/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/open-output-file/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/open-output-string/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/or/;
- $ref_files{$key} = "$dir".q|node13_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/output-port_/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/output-string-port_/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/pair_/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/parent-environment/;
- $ref_files{$key} = "$dir".q|node28_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/peek-char/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/port-_SPMgt_list/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/port-_SPMgt_sexp-list/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/port-_SPMgt_string/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/port-_SPMgt_string-list/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/positive_/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/primitive_/;
- $ref_files{$key} = "$dir".q|node24_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/procedure-body/;
- $ref_files{$key} = "$dir".q|node24_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/procedure-environment/;
- $ref_files{$key} = "$dir".q|node28_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/procedure_/;
- $ref_files{$key} = "$dir".q|node24_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/process-alive_/;
- $ref_files{$key} = "$dir".q|node35_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/process-continue/;
- $ref_files{$key} = "$dir".q|node35_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/process-error/;
- $ref_files{$key} = "$dir".q|node35_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/process-exit-status/;
- $ref_files{$key} = "$dir".q|node35_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/process-input/;
- $ref_files{$key} = "$dir".q|node35_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/process-kill/;
- $ref_files{$key} = "$dir".q|node35_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/process-list/;
- $ref_files{$key} = "$dir".q|node35_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/process-output/;
- $ref_files{$key} = "$dir".q|node35_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/process-pid/;
- $ref_files{$key} = "$dir".q|node35_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/process-send-signal/;
- $ref_files{$key} = "$dir".q|node35_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/process-stop/;
- $ref_files{$key} = "$dir".q|node35_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/process-type/;
- $ref_files{$key} = "$dir".q|node35_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/process-wait/;
- $ref_files{$key} = "$dir".q|node35_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/process_/;
- $ref_files{$key} = "$dir".q|node35_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/promise_/;
- $ref_files{$key} = "$dir".q|node24_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/provide/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/provided_/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/quasiquote/;
- $ref_files{$key} = "$dir".q|node13_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/quit/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/quote/;
- $ref_files{$key} = "$dir".q|node12_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/quotient/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/random/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/rational_/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/rationalize/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/read/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/read-char/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/read-from-string/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/read-line/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/real-part/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/real_/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/regexp-replace/;
- $ref_files{$key} = "$dir".q|node34_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/regexp-replace-all/;
- $ref_files{$key} = "$dir".q|node34_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/regexp-type/;
- $ref_files{$key} = "$dir".q|node34_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/regexp_/;
- $ref_files{$key} = "$dir".q|node34_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/remainder/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/require/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/reverse/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/root_window/;
- $ref_files{$key} = "$dir".q|node41_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/round/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/run-process/;
- $ref_files{$key} = "$dir".q|node35_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/set-car_/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/set-cdr_/;
- $ref_files{$key} = "$dir".q|node18_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/set-random-seed_/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/set-signal-handler_/;
- $ref_files{$key} = "$dir".q|node32_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/set-widget-data_/;
- $ref_files{$key} = "$dir".q|node27_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/set_/;
- $ref_files{$key} = "$dir".q|node12_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/setenv_/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/signals/;
- $ref_files{$key} = "$dir".q|node32_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/sin/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/slot-description/;
- $ref_files{$key} = "$dir".q|node57_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/socket-accept-connection/;
- $ref_files{$key} = "$dir".q|node36_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/socket-down_/;
- $ref_files{$key} = "$dir".q|node36_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/socket-dup/;
- $ref_files{$key} = "$dir".q|node36_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/socket-host-address/;
- $ref_files{$key} = "$dir".q|node36_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/socket-host-name/;
- $ref_files{$key} = "$dir".q|node36_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/socket-input/;
- $ref_files{$key} = "$dir".q|node36_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/socket-local-address/;
- $ref_files{$key} = "$dir".q|node36_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/socket-output/;
- $ref_files{$key} = "$dir".q|node36_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/socket-port-number/;
- $ref_files{$key} = "$dir".q|node36_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/socket-shutdown/;
- $ref_files{$key} = "$dir".q|node36_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/socket-type/;
- $ref_files{$key} = "$dir".q|node36_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/socket_/;
- $ref_files{$key} = "$dir".q|node36_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/sort/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/sqrt/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string-_SPMgt_list/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string-_SPMgt_number/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string-_SPMgt_regexp/;
- $ref_files{$key} = "$dir".q|node34_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string-_SPMgt_symbol/;
- $ref_files{$key} = "$dir".q|node19_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string-_SPMgt_widget/;
- $ref_files{$key} = "$dir".q|node27_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string-append/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string-ci_SPMgt__/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string-ci_SPMgt___/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string-ci_SPMlt__/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string-ci_SPMlt___/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string-ci__/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string-copy/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string-fill_/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string-find_/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string-index/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string-length/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string-lower/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string-ref/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string-set_/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string-upper/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string_/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string_SPMgt__/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string_SPMgt___/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string_SPMlt__/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string_SPMlt___/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/string__/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/substring/;
- $ref_files{$key} = "$dir".q|node22_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/symbol-_SPMgt_string/;
- $ref_files{$key} = "$dir".q|node19_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/symbol-bound_/;
- $ref_files{$key} = "$dir".q|node28_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/symbol_/;
- $ref_files{$key} = "$dir".q|node19_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/symbolsection/;
- $ref_files{$key} = "$dir".q|node19_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/system/;
- $ref_files{$key} = "$dir".q|node30_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/tan/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/the-environment/;
- $ref_files{$key} = "$dir".q|node28_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/time/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/tk-command_/;
- $ref_files{$key} = "$dir".q|node27_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/tkcommand/;
- $ref_files{$key} = "$dir".q|node27_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/trace-var/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/transcript-off/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/transcript-on/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/truncate/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/try-load/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/uncode/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/unless/;
- $ref_files{$key} = "$dir".q|node13_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/until/;
- $ref_files{$key} = "$dir".q|node13_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/untrace-var/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/vector/;
- $ref_files{$key} = "$dir".q|node23_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/vector-_SPMgt_list/;
- $ref_files{$key} = "$dir".q|node23_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/vector-copy/;
- $ref_files{$key} = "$dir".q|node23_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/vector-fill_/;
- $ref_files{$key} = "$dir".q|node23_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/vector-length/;
- $ref_files{$key} = "$dir".q|node23_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/vector-ref/;
- $ref_files{$key} = "$dir".q|node23_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/vector-resize/;
- $ref_files{$key} = "$dir".q|node23_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/vector-set_/;
- $ref_files{$key} = "$dir".q|node23_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/vector_/;
- $ref_files{$key} = "$dir".q|node23_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/version/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/view/;
- $ref_files{$key} = "$dir".q|node37_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/when/;
- $ref_files{$key} = "$dir".q|node13_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/when-port-readable/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/when-port-writable/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/when-socket-ready/;
- $ref_files{$key} = "$dir".q|node36_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/while/;
- $ref_files{$key} = "$dir".q|node13_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/widget-_SPMgt_string/;
- $ref_files{$key} = "$dir".q|node27_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/widget-name/;
- $ref_files{$key} = "$dir".q|node27_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/widget_/;
- $ref_files{$key} = "$dir".q|node27_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/with-input-from-file/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/with-input-from-string/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/with-output-to-file/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/with-output-to-string/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/write/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/write-char/;
- $ref_files{$key} = "$dir".q|node25_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/zero_/;
- $ref_files{$key} = "$dir".q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- 1;
-
-