diff options
| author | Thomas Bauereiss | 2018-04-20 15:47:21 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-04-20 15:50:19 +0100 |
| commit | 85d6051f04a5ffa93f35f3a6f4471aebfecd5c29 (patch) | |
| tree | 8311fc7c985697ac3c1f7970d1765360cf932276 /lib/isabelle/document/root.tex | |
| parent | 895f868cd537277ba61dfc427fee0e288af7e226 (diff) | |
Make building of Isabelle heap image optional
Diffstat (limited to 'lib/isabelle/document/root.tex')
0 files changed, 0 insertions, 0 deletions