Name Last modified Size Description Parent Directory - Leslie_Lamport.jpg 02-May-2017 16:44 38K README.md 14-Jun-2017 13:42 1.1K latex-mr.pdf 14-Jun-2017 13:40 323K latex-mr.tex 14-Jun-2017 13:40 172K Apache/2.2 Server at ftp.ntua.gr Port 80
Name Last modified Size Description Parent Directory - Leslie_Lamport.jpg 02-May-2017 16:44 38K README.md 14-Jun-2017 13:42 1.1K latex-mr.pdf 14-Jun-2017 13:40 323K latex-mr.tex 14-Jun-2017 13:40 172K
Name Last modified Size Description![[DIR]](/images/back.gif)
Parent Directory -
![[IMG]](/images/jpg.gif)
Leslie_Lamport.jpg 02-May-2017 16:44 38K
![[TXT]](/images/readme.gif)
README.md 14-Jun-2017 13:42 1.1K
![[ ]](/icons/layout.gif)
latex-mr.pdf 14-Jun-2017 13:40 323K
![[ ]](/icons/tex.gif)
latex-mr.tex 14-Jun-2017 13:40 172K
![[IMG]](Leslie_Lamport.jpg){kind=small}