Add linting of Log entries in manual entries - Githubissues

james-d-mitchell / gaplint

A linter for GAP (https://www.gap-system.org/)

GNU General Public License v3.0

7 stars 4 forks source link

Add linting of Log entries in manual entries #5

Open wilfwilson opened 7 years ago