Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2018-06-07 | Update URLHEADmaster | Camil Staps | 1 | -1/+1 |
2016-11-27 | Fix usage string and removeSubOptions | Camil Staps | 2 | -2/+9 |
2016-08-01 | Really fix #1 | Camil Staps | 3 | -7/+7 |
2016-08-01 | Makefile, gitignore | Camil Staps | 2 | -1/+15 |
2016-08-01 | Cleanup & fix #1 | Camil Staps | 4 | -272/+310 |
2016-03-31 | Fixed issue where truth tables had too many options | Camil Staps | 1 | -4/+5 |
2016-01-17 | Fixed bug where atom options were duplicated | Camil Staps | 1 | -1/+1 |
2015-10-24 | Fixing last commit; parentheses chained implications | Camil Staps | 1 | -1/+1 |
2015-10-24 | Bugfixes in show functions (parentheses) | Camil Staps | 1 | -1/+2 |
2015-07-06 | Adhere to Clean library standards, i.e. don't import too much | Camil Staps | 2 | -2/+3 |
2015-07-04 | Fix show for expressions (parentheses); allow parentheses in input | Camil Staps | 2 | -2/+11 |
2015-07-04 | Readme | Camil Staps | 1 | -10/+14 |
2015-07-04 | Bugfix logicparser | Camil Staps | 1 | -1/+1 |
2015-07-03 | Limit on number of atoms | Camil Staps | 1 | -2/+3 |
2015-07-03 | Readme | Camil Staps | 1 | -1/+1 |
2015-07-03 | Fix LogicTest | Camil Staps | 1 | -1/+1 |
2015-07-03 | Latex & Html output options | Camil Staps | 8 | -62/+134 |
2015-07-03 | Installation | Camil Staps | 1 | -1/+9 |
2015-07-03 | License | Camil Staps | 1 | -0/+23 |
2015-07-03 | Check for exec function | Camil Staps | 1 | -1/+7 |
2015-07-03 | html+php wrapper | Camil Staps | 3 | -1/+130 |
2015-07-03 | Readme | Camil Staps | 1 | -0/+1 |
2015-07-03 | Merge branch 'master' of github:camilstaps/CleanLogic | Camil Staps | 0 | -0/+0 |
2015-07-03 | Improved parser | Camil Staps | 4 | -4/+56 |
2015-07-03 | Improved parser | Camil Staps | 4 | -4/+55 |
2015-07-03 | Parser; cleanup | Camil Staps | 6 | -32/+166 |
2015-07-03 | Cleanup; simple truthtable; license; readme | Camil Staps | 6 | -3/+223 |
2015-07-03 | Cleanup | Camil Staps | 1 | -3/+2 |
2015-07-03 | Cleanup | Camil Staps | 3 | -63/+3 |
2015-07-03 | Nicer truthtables | Camil Staps | 3 | -22/+107 |
2015-07-03 | Truth tables | Camil Staps | 7 | -8/+167 |
2015-07-03 | Fix associativity | Camil Staps | 3 | -7/+40 |
2015-07-03 | Types, toString | Camil Staps | 3 | -0/+157 |
2015-07-03 | Initial commit | Camil Staps | 3 | -0/+30 |