History log of /seL4-l4v-10.1.1/l4v/spec/haskell/.gitignore
Revision Date Author Comments
# 2ca19941 23-May-2018 Gerwin Klein <gerwin.klein@data61.csiro.au>

haskell: retire literate Haskell PDF document

The PDF has been out of date for a while and is unmaintained. For now,
we leave the file format as literate Haskell, but retire the build for
the PDF document.

JIRA VER-912


# 796887d9 11-Jul-2017 Alejandro Gomez-Londono <alejandro.gomez@nicta.com.au>

Removes all trailing whitespaces


# aee13996 31-Jan-2017 Matthew Brecknell <Matthew.Brecknell@data61.csiro.au>

haskell: use stack to obtain suitable GHC and cabal


# 7a8f2b89 31-Jan-2017 Matthew Brecknell <Matthew.Brecknell@data61.csiro.au>

trivial: use absolute paths in haskell .gitignore


# ebc7cbe5 23-May-2016 Japheth Lim <Japheth.Lim@nicta.com.au>

haskell: move Haskell kernel into spec/