aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/go.yml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Increase go-version to 1.14René 'Necoro' Neumann2020-04-191-2/+2
* CI: go vetRené 'Necoro' Neumann2020-04-191-0/+3
* Fix github workflowRené 'Necoro' Neumann2020-04-181-2/+2
* Create go.ymlRené 'Necoro' Neumann2020-04-181-0/+37
d=087cb61c1556998e0f410d336340a2f9cea9a7dc&follow=1'>Add line numbering for emacsRené 'Necoro' Neumann1-1/+5 2009-10-27Add "-m iff" to isabelle callRené 'Necoro' Neumann1-1/+1 2009-10-14add commandline completion for vimRené 'Necoro' Neumann1-0/+12