Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Launch isabelle in background (+ some comments and small cleanup) | René Neumann | 2012-10-27 | 1 | -5/+22 |
| | |||||
* | Added support for jedit. | René Neumann | 2011-11-21 | 1 | -4/+10 |
| | |||||
* | Enhance IE script | René Neumann | 2011-08-12 | 1 | -6/+7 |
| | |||||
* | More advanced IE script | René Neumann | 2011-08-10 | 1 | -0/+74 |