| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 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 |
 |
index : logic | |
| Logic toolbox in Clean |
| aboutsummaryrefslogtreecommitdiff |