Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add autotest start | David Aspinall | 2011-01-26 |
* | Remove debug messages | David Aspinall | 2011-01-25 |
* | Fix bug with nested spans, solving #344/#335 | David Aspinall | 2010-08-27 |
* | Clean flag settings for profiling. Add AHundredProofs. | David Aspinall | 2010-08-18 |
* | Extend testing | David Aspinall | 2010-08-11 |
* | Support custom syntactic fontification. | David Aspinall | 2010-08-11 |
* | Note complete | David Aspinall | 2010-08-08 |
* | Separate profiling from testing | David Aspinall | 2010-08-03 |
* | Fix compile | David Aspinall | 2010-08-03 |
* | Fix compilation | David Aspinall | 2010-08-03 |
* | Resurrect autotest framework | David Aspinall | 2010-08-03 |
* | Fix compile errors | David Aspinall | 2009-09-15 |
* | Experimental changes to queue several commands at once and to allow pre-proce... | David Aspinall | 2009-09-10 |
* | Clean whitespace | David Aspinall | 2009-09-05 |
* | Updated. | David Aspinall | 2008-01-16 |
* | Remove eval-when, seems unreliable | David Aspinall | 2007-12-14 |
* | Improve loading; these tests are not functioning yet | David Aspinall | 2007-12-14 |
* | Fix comment | David Aspinall | 2007-02-28 |
* | Added simple testing framework (in progress) | David Aspinall | 2005-02-13 |