aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2018-06-07Update URLHEADmasterCamil Staps1-1/+1
2016-11-27Fix usage string and removeSubOptionsCamil Staps2-2/+9
2016-08-01Really fix #1Camil Staps3-7/+7
2016-08-01Makefile, gitignoreCamil Staps2-1/+15
2016-08-01Cleanup & fix #1Camil Staps4-272/+310
2016-03-31Fixed issue where truth tables had too many optionsCamil Staps1-4/+5
2016-01-17Fixed bug where atom options were duplicatedCamil Staps1-1/+1
2015-10-24Fixing last commit; parentheses chained implicationsCamil Staps1-1/+1
2015-10-24Bugfixes in show functions (parentheses)Camil Staps1-1/+2
2015-07-06Adhere to Clean library standards, i.e. don't import too muchCamil Staps2-2/+3
2015-07-04Fix show for expressions (parentheses); allow parentheses in inputCamil Staps2-2/+11
2015-07-04ReadmeCamil Staps1-10/+14
2015-07-04Bugfix logicparserCamil Staps1-1/+1
2015-07-03Limit on number of atomsCamil Staps1-2/+3
2015-07-03ReadmeCamil Staps1-1/+1
2015-07-03Fix LogicTestCamil Staps1-1/+1
2015-07-03Latex & Html output optionsCamil Staps8-62/+134
2015-07-03InstallationCamil Staps1-1/+9
2015-07-03LicenseCamil Staps1-0/+23
2015-07-03Check for exec functionCamil Staps1-1/+7
2015-07-03html+php wrapperCamil Staps3-1/+130
2015-07-03ReadmeCamil Staps1-0/+1
2015-07-03Merge branch 'master' of github:camilstaps/CleanLogicCamil Staps0-0/+0
2015-07-03Improved parserCamil Staps4-4/+56
2015-07-03Improved parserCamil Staps4-4/+55
2015-07-03Parser; cleanupCamil Staps6-32/+166
2015-07-03Cleanup; simple truthtable; license; readmeCamil Staps6-3/+223
2015-07-03CleanupCamil Staps1-3/+2
2015-07-03CleanupCamil Staps3-63/+3
2015-07-03Nicer truthtablesCamil Staps3-22/+107
2015-07-03Truth tablesCamil Staps7-8/+167
2015-07-03Fix associativityCamil Staps3-7/+40
2015-07-03Types, toStringCamil Staps3-0/+157
2015-07-03Initial commitCamil Staps3-0/+30