This instance will be upgraded to Heptapod 0.23.2 on 2021-08-05 at 11:00 UTC+2 (a few minutes of down time)

Commit 0fb8c7de authored by wenzelm's avatar wenzelm
Browse files

avoid hardwired document preparation;

parent 0c442d6aa0ee
chapter AFP
session JinjaDCI (AFP) = "HOL-Library" +
options [timeout = 2400, document = pdf]
options [timeout = 2400]
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment