summaryrefslogtreecommitdiffstats
path: root/src/proofs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Clarify licensesMax Gaukler2018-11-081-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
* First step of moving tools into appropriate namespaces.Markus Engel2013-11-071-1/+1
| | | (bzr r12782)
* Fix some broken Vim modelinesAlex Valavanis2013-04-111-1/+1
| | | (bzr r12275)
* moving trunk for module inkscapeMenTaLguY2006-01-161-0/+332
(bzr r1)