Index of /~tgassmann/eth/teaching

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[TXT] ebnf.html               02-Sep-2023 02:14   14K  
[DIR] fs24/                   24-Sep-2024 22:32    -   
[DIR] hs23/                   24-Sep-2024 22:32    -
Apache/2.2.15 (Red Hat) Server at n.ethz.ch Port 443