#
229718f6 |
|
10-Nov-2014 |
Michael Norrish <michael.norrish@nicta.com.au> |
Fix error in K-10 release notes (already fixed on webpages etc)
|
#
bf185a31 |
|
09-Nov-2014 |
Michael Norrish <michael.norrish@nicta.com.au> |
Slight update to K-10 release notes.
|
#
b7d03a24 |
|
05-Nov-2014 |
Michael Norrish <michael.norrish@nicta.com.au> |
Handle Unicode on Windows better with new PP.avoid_unicode trace If the trace variable is true, then the pretty-printer strives to not print Unicode characters. If it's false, then it obeys the grammar (which encodes various printing preferences as well). The trace is initialised to true on Windows systems.
|
#
a17923a0 |
|
05-Nov-2014 |
Michael Norrish <michael.norrish@nicta.com.au> |
Fix a horrid bug in removing rules from grammars. Sense of a test was inverted when working over a grammar's binders.
|
#
d257ed42 |
|
05-Nov-2014 |
Michael Norrish <michael.norrish@nicta.com.au> |
Put release date into release notes.
|
#
fb76dff6 |
|
03-Nov-2014 |
Michael Norrish <michael.norrish@nicta.com.au> |
More formatting tweaks for the release notes.
|
#
2d9770d1 |
|
03-Nov-2014 |
Michael Norrish <michael.norrish@nicta.com.au> |
Minor formatting tweak to release notes.
|
#
4fa0927f |
|
03-Nov-2014 |
Michael Norrish <michael.norrish@nicta.com.au> |
Remove miniml example, as per hol-developers exchange.
|
#
08d8c06e |
|
03-Nov-2014 |
Michael Norrish <michael.norrish@nicta.com.au> |
Update release notes to use Kananaskis-10 string. Also, make title a YAML metadata block to make pandoc generate nice output.
|
#
95dbf9cf |
|
03-Nov-2014 |
Michael Norrish <michael.norrish@nicta.com.au> |
Next release will be Kananaskis-10 (rename release notes to match)
|