lib/html/library_index_footer.template
author wenzelm
Sat, 10 Jan 2009 21:32:30 +0100
changeset 29435 a5f84ac14609
parent 25235 04cb7e02ca38
permissions -rw-r--r--
added parallel_proofs flag (default true, cf. usedir option -Q), which can be disabled in low-memory situations;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
25235
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
     1
</body>
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
     2
</html>