| author | wenzelm |
| Mon, 02 Nov 2020 16:50:22 +0100 | |
| changeset 72542 | c588e0b8b8b0 |
| parent 72503 | 05d0977ec706 |
| permissions | -rw-r--r-- |
<html> <body> <h2>Isabelle Components</h2> <table> <tr> <td><b>Name</b></td> <td> </td> <td><b>Size</b></td> </tr> <?php $component_pattern="/^.+\.tar\.gz$/"; foreach (scandir(getcwd()) as $file){ if (preg_match($component_pattern, $file) && is_file($file) && is_readable($file)) { print "<tr><td><a href=\"$file\"><code>$file</code></a></td><td></td><td>".filesize($file)."</td></tr>\n"; } } ?> </table> </body> </html>