2014-01-25 | wenzelm | propagate update of outer syntax keywords: global propertiesChanged, buffer TokenMarker.markTokens, text area repainting; | changeset | files |
2014-01-25 | wenzelm | simplified inner syntax; | changeset | files |
2014-01-25 | nipkow | added lemma | changeset | files |
2014-01-24 | paulson | Merge | changeset | files |
2014-01-24 | paulson | Restored Suc rather than +1, and using Library/Binimial | changeset | files |
2014-01-24 | blanchet | killed 'More_BNFs' by moving its various bits where they (now) belong | changeset | files |
Loading... |