aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mainPagination adj.'tMohit Agarwal8 months
overleaf-2025-07-25-1705Merge branch 'main' into overleaf-2025-07-25-1705Jacob Walchuk8 months
overleaf-2025-09-08-1236Merge branch 'main' into overleaf-2025-09-08-1236yaqubroli6 months
 
 
AgeCommit messageAuthor
2025-09-08Merge branch 'main' into overleaf-2025-09-08-1236overleaf-2025-09-08-1236yaqubroli
2025-09-08Updates from Overleafyaqubroli
2025-07-25fixJacob Walchuk
2025-07-15Pagination adj.'tHEADmainMohit Agarwal
2025-07-15fixed em and en dashes, and some formatting inc adding 1919 signs for some eq...Hanaa
2025-07-14paper 2: now doesnt break overleaf, fixed math mode spacingJacob Walchuk
2025-07-14paper 3: realigned proofs to have logical operations flush rightJacob Walchuk
2025-07-14Fixed typesetting in footnotes, but they are so dense that the project no lon...Jacob Walchuk
2025-07-14paper 2: graphics fixed (Ds and Fs ital'd, sorites items bolded)Jacob Walchuk
2025-07-14paper 2: math spacing normalised. all sorites objects are bold, lowercase. al...Jacob Walchuk
[...]
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-11 14:48:10 +0000