<?php
// Define redirect links
$Redirect["forth"]="/Articles/Forth/WordList";
$Redirect["amforth"]="/Articles/Forth/WordList";
$Redirect["hftramp"]="/Designs/HF_TRAMP/DOC/HTML/HF_TRAMP";
?>
<?php
// Define redirect links
$Redirect["forth"]="/Articles/Forth/WordList";
$Redirect["amforth"]="/Articles/Forth/WordList";
$Redirect["hftramp"]="/Designs/HF_TRAMP/DOC/HTML/HF_TRAMP";
?>