| author | paulson |
| Sat, 07 Nov 2020 23:20:43 +0000 | |
| changeset 72561 | e1d04777d8b6 |
| 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>