| author | wenzelm |
| Sat, 02 Oct 2021 17:40:03 +0200 | |
| changeset 74414 | 4e58bc7215a0 |
| parent 72542 | c588e0b8b8b0 |
| 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>