summaryrefslogtreecommitdiff
path: root/README (follow)
Commit message (Expand)AuthorAgeFilesLines
* Better dependency list.Jason A. Donenfeld2012-09-181-1/+10
* Use getopt to regularize optionsBrian Mattern2012-09-121-0/+1
* Simplify README.Jason A. Donenfeld2012-09-081-17/+2
* Add dependencies to README.Jason A. Donenfeld2012-09-061-0/+8
* Fix readme typo.Jason A. Donenfeld2012-09-031-1/+1
* Move examples into manpage.Jason A. Donenfeld2012-09-031-89/+10
* Make into a real project.Jason A. Donenfeld2012-09-031-1/+4
* Support pass gitJason A. Donenfeld2012-09-031-0/+3
* Update examples.Jason A. Donenfeld2012-08-061-7/+7
* Update readme.Jason A. Donenfeld2012-08-061-11/+13
* Add git support.Jason A. Donenfeld2012-07-241-0/+7
* Initial commit.Jason A. Donenfeld2012-07-231-0/+91
2-36/+0 2018-06-10[zsh] Remove obsolete isabelle functionsRené 'Necoro' Neumann2-112/+0 2018-06-10Misc changesRené 'Necoro' Neumann3-0/+7 2018-06-10[git] Update email addressRené 'Necoro' Neumann1-1/+1 2018-06-10Enhance cci scriptRené 'Necoro' Neumann1-15/+12 2017-11-18Some windows setupRené 'Necoro' Neumann2-1/+6 2017-10-08[zsh] Use zcalc instead of bcRené 'Necoro' Neumann1-5/+4 2017-10-08[zsh] CalculatorRené 'Necoro' Neumann1-0/+8 2017-10-08Some vim changes.René 'Necoro' Neumann4-28/+17 2017-10-08Delete old stuff.René 'Necoro' Neumann5-71/+1