search

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook
http://openlogicproject.org/
Creative Commons Attribution 4.0 International
1.04k stars 238 forks source link

changes to \olimport and the code to produce links to section files t… #235

Closed rzach closed 4 years ago

rzach commented 4 years ago

…o work with subfiles.sty both before and after v 1.3; closes #229