search

OpenLogicProject / OpenLogic

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

Fix typos #350

Closed pitmonticone closed 7 months ago

davidvandebunte commented 6 months ago

@pitmonticone Did you push the commit dd6977d47d1c55b6d4e91012970a882c6f506802 of the doc submodule? You likely need to rebase the changes you made in the submodule as well.

@rzach Do you want to fast-forward the current submodule pointer from a6304ba to b46686d (the current master) before he does that? Presumably he should be working off of b46686d.

rzach commented 6 months ago

@davidvandebunte I'm a bit confused what happened. This is the first time I recall that the wiki/doc submodule shows up in commits to the main branch. I did a git pull on the doc submodule so it's now at b46686d.

davidvandebunte commented 6 months ago

This is a bit confusing. When I go to Home · OpenLogicProject/OpenLogic Wiki, it still seems to be based on a version of the page last edited on Apr 17, 2013. That's not correct though: only the "Home" page was last edited then. Go to e.g. the page Other Logic Textbooks · OpenLogicProject/OpenLogic Wiki and you see a more recent date.

See git - How to integrate a GitHub wiki into the main project - Stack Overflow for the "typical" setup you may have manually gone through once? See added wiki as a submodule in /doc · OpenLogicProject/OpenLogic@c5f3841. That was almost 9 years ago, so you may have just forgotten?