History log of /seL4-l4v-master/HOL4/src/portableML/PEGParse.sig
Revision Date Author Comments
# b5b5ccea 15-Dec-2013 Michael Norrish <michael.norrish@nicta.com.au>

trivial reformat to keep code within 80 columns.


# 08e48524 02-May-2013 Michael Norrish <michael.norrish@nicta.com.au>

Implementation of a simple PEG-parsing module.

Based on the HOL definitions in examples/parsing.

I may use this as a the basis for a markdown like syntax for help
files (see issue #102).