aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterLaTeX formatting for derivation treesCamil Staps9 years
proverCommentsCamil Staps9 years
 
 
AgeCommit messageAuthorFilesLines
2016-06-06LaTeX formatting for derivation treesHEADmasterCamil Staps6-6/+173
2016-05-26ReadmeCamil Staps1-3/+2
2016-05-26Improved tree toString; reverse.smfCamil Staps3-7/+23
2016-05-26Overloading IO functions in step; POC derivation tree generationCamil Staps8-31/+181
2016-04-29fix toString for PushCamil Staps2-2/+1
2016-04-27Nicer cliCamil Staps10-551/+191
2016-04-12Initial commitCamil Staps10-0/+800
 
Clone
git@git.camilstaps.nl:archived/clean/smurf
https://git.camilstaps.nl/archived/clean/smurf