| #
eea38b25 |
|
22-Jun-2018 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
Isabelle2018: READMEs and docs
|
| #
6d0a9a78 |
|
29-May-2018 |
Japheth Lim <Japheth.Lim@data61.csiro.au> |
fix incorrect path in readme
|
| #
2e475a26 |
|
25-Mar-2018 |
Japheth Lim <Japheth.Lim@data61.csiro.au> |
update build instructions in readme to use make
JIRA VER-915
|
| #
ba97e55d |
|
07-Mar-2018 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
docs: Isabelle2016-1 -> Isabelle2017
|
| #
ebfc7ec1 |
|
28-Feb-2018 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
README.md: zenodo png -> svg; move DOI tag up
|
| #
d04547b1 |
|
28-Jan-2018 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
link to all-version DOI in README.md
|
| #
eca62410 |
|
27-Jul-2017 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
update python dependencies in README
|
| #
796887d9 |
|
11-Jul-2017 |
Alejandro Gomez-Londono <alejandro.gomez@nicta.com.au> |
Removes all trailing whitespaces
|
| #
d08ee04e |
|
02-Feb-2017 |
Matthew Brecknell <Matthew.Brecknell@data61.csiro.au> |
haskell: update documentation for building the Haskell kernel
|
| #
1e6686d6 |
|
07-Jan-2017 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
Isabelle2016-1: update README
|
| #
67269edb |
|
18-Sep-2016 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
docs: update installation instructions
The bitfield generator in seL4/ now also depends on the `six` package.
|
| #
081c7337 |
|
29-Jun-2016 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
README: adjusted latex dependencies and Isabelle version
closes github issue #11
|
| #
d4932618 |
|
23-May-2016 |
Japheth Lim <Japheth.Lim@nicta.com.au> |
Add Haskell kernel to README
|
| #
a4519c52 |
|
13-Oct-2015 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
update README and CONTRIBUTING links
(after seL4.systems update)
|
| #
b986b6d3 |
|
28-May-2015 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
README: back to production mode
|
| #
bfe0cf85 |
|
16-May-2015 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
bump to 2015
|
| #
a775e123 |
|
21-Apr-2015 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
more detailed dependency description
|
| #
ce33a076 |
|
17-Apr-2015 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
add update notice
|
| #
8e77f3b6 |
|
26-Jan-2015 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
link to CONTRIBUTING.md
|
| #
da5a86c6 |
|
21-Jan-2015 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
remove now obsolete instructions about TOOLPREFIX
|
| #
28bdd742 |
|
21-Jan-2015 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
also mention `make` version
|
| #
db1f1b60 |
|
21-Jan-2015 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
document missing texlive dependency;
Also comment more on `TOOLPREFIX` for now (until we have a better solution).
|
| #
939d9884 |
|
21-Oct-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
Isabelle 2013-2 -> 2014 in docs
|
| #
9ccfacc2 |
|
21-Oct-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
Dragons slain, Isabelle2014 update complete.
|
| #
7b20cbdf |
|
10-Aug-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
add DOI
|
| #
436896f6 |
|
07-Aug-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
start Isabelle2014 udpate
|
| #
56c93597 |
|
02-Aug-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
further README tweak
|
| #
42446342 |
|
02-Aug-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
More dependency description; added Mac cpp wrapper
Based on suggestions by @jserv and @bacam
See also https://github.com/seL4/l4v/pull/1
|
| #
dbcc450e |
|
28-Jul-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
add full latex dependencies
|
| #
9adbb987 |
|
28-Jul-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
add Isabelle dependencies
|
| #
4565c7bf |
|
28-Jul-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
tune build instructions
|
| #
0fb7a808 |
|
27-Jul-2014 |
David Greenaway <david.greenaway@nicta.com.au> |
misc: Proofing and formatting of README.md files.
Attempt to improve readability of the files when viewed as plain ASCII;
proof-read and fix minor issues.
|
| #
30947b3e |
|
23-Jul-2014 |
Toby Murray <toby.murray@nicta.com.au> |
add links to README.md
|
| #
0fa0a14f |
|
22-Jul-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
filled in README
|
| #
2a03e81d |
|
14-Jul-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
Import release snapshot.
|