summaryrefslogtreecommitdiffstats
path: root/src/proofs (unfollow)
Commit message (Collapse)AuthorFilesLines
2018-11-08Clarify licensesMax Gaukler1-0/+3
- add license headers to everything - convert a few files from public domain or LGPL2.1+ to GPL2+ - some archaeology to clarify which files are from which library
2013-11-07First step of moving tools into appropriate namespaces.Markus Engel1-1/+1
(bzr r12782)
2013-04-11Fix some broken Vim modelinesAlex Valavanis1-1/+1
(bzr r12275)