Skip to content
Snippets Groups Projects
Commit fd8af0d1 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

dfa: Fix pdf export

parent 0c92d095
No related branches found
No related tags found
No related merge requests found
#+TITLE: Random DFAs
#+LATEX_HEADER: \usepackage[a4paper,margin=1in,landscape]{geometry}
* Generating the benchmarks
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment