search

catrincm / forallx-bris

Bristol version of forallx, an introduction to formal logic
Creative Commons Attribution Share Alike 4.0 International
1 stars 0 forks source link

pdf compiler #18

Open catrincm opened 3 years ago

catrincm commented 3 years ago

get it working

catrincm commented 2 years ago

it works now, but needs to install latex 3 times. Make more efficient

catrincm commented 11 months ago

it's now working in a /docs subdirectory, as I couldn't get it properly working pushing to the gh-pages branch