2020-05-27 | Michael Prokop | Support refresh/re-executing via "r" key | blob | commitdiff |
2011-04-03 | Ulrich Dangel | Introduced easier highlighting for words and charachtes. | blob | commitdiff | diff to current |
2010-01-31 | Ulrich Dangel | Fixed some typos | blob | commitdiff | diff to current |
2010-01-30 | Ulrich Dangel | Initial import | blob | commitdiff | diff to current |