Commit message (Expand) | Author | Age | |
---|---|---|---|
* | *** empty log message *** | David Aspinall | 2009-05-26 |
* | Revise example for Isabelle 2009, showing use of two commands on a line. | David Aspinall | 2009-05-26 |
* | Remove semi-colons. Literal commands triggered in response buffer | David Aspinall | 2008-01-31 |
* | proper use of ProofGeneral.sendback; | Makarius Wenzel | 2007-08-20 |
* | Test ProofGeneral.sendback | David Aspinall | 2007-08-19 |
* | Add support for sending back literal commands reusing PBP markup mechanisms. | David Aspinall | 2007-08-14 |