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