Sebastian Kreisel 99f9bf8de2 Fix: Quick and dirty fix to include both webm and mp4 as video source 8 months ago
..
Parseck 99f9bf8de2 Fix: Quick and dirty fix to include both webm and mp4 as video source 8 months ago
Main.hs 3cb011be1c Update ReadLatex to decomplicate inline parsing. Overhaul of minipage to make it flexible 1 year ago