index.html
?>
History of Hilbert files
Here are diffs between all the (preliminary) versions of the Hilbert directory,
in case you've been here before and wonder what has changed.
The current version is
"PHP source for this page (inserts this listing).",
);
$subst_url = array(
);
echo "
\n";
exec( "/bin/ls -ld makeindex.php.txt *diff.txt", $lines );
foreach( $lines as $line ) {
echo "\n";
$parts=explode( " ", $line );
foreach( $parts as $path ) {
} ; // Empty loop leaves path as last part
$pieces=explode( "/", $path );
foreach( $pieces as $file ) {
} ; // Empty loop leaves file as last part
$size=ceil( filesize($file) / 1024 );
echo '';
if( isset( $subst_url[$file] ) ) $url = $subst_url[ $file ];
else $url = $file;
if( $line[0]=="d" ) {
echo "$file/";
echo ' | ';
} else {
echo "$file";
echo " | (${size}K)";
}
echo " | \n";
if( isset( $cmt[$file] ) ) {
echo "$cmt[$file] | \n";
}
echo "
\n\n";
}
echo "
\n";
?>