search

Bram-Hub / aris

Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.
https://aris.bram-hub.com
GNU General Public License v3.0
10 stars 2 forks source link

added margins and tautology shortcut #89

Closed williamylhe closed 2 years ago

williamylhe commented 2 years ago

For some reason git is showing edits on files I didn't edit. My edits are in aris/src/maros.rs and web-app/static/styles.css.

io12 commented 2 years ago

For some reason git is showing edits on files I didn't edit. My edits are in aris/src/maros.rs and web-app/static/styles.css.

It looks like the commit changes Unix \n line endings to DOS/Windows \r\n line endings. Maybe you're using an IDE that's doing this?