| #
2168e532 |
|
09-May-2018 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
manual: add author
|
| #
84b065b0 |
|
07-May-2018 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
manual: use fontenc package
This fixes a problem where underscores were not searchable in the pdf manual.
In more detail, fontenc uses 8-bit encoding rather than 7-bit. The latter results in multiple glyphs for
single characters meaning normal search doesn't work. It's considered good practice to use this
package.
|
| #
58cbddec |
|
23-May-2017 |
Stephen Sherratt <Stephen.Sherratt@data61.csiro.au> |
manual: Parameterize \apidoc cmd with section type
|
| #
0a6871c4 |
|
20-Sep-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
manual: Remove references to NICTA
Replace old references to NICTA from built versions of the manual
|
| #
3ec88b49 |
|
30-Nov-2015 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
correct manual version and add version of the code at top level
|
| #
386337a9 |
|
17-Aug-2015 |
Gernot Heiser <gernot@nicta.com.au> |
manual: notification/signalling terminology
Terminology clarification:
- synchronous endpoints -> endpoints
- asynchronous endpoints -> notifications (and notification objects)
- notify -> signal
Also minor language edits.
|
| #
71874a2d |
|
20-Aug-2015 |
Gernot Heiser <gernot@nicta.com.au> |
Revert "s/AEP/Notification/ completed commit :-("
Committed to wrong branch
This reverts commit 50810ac44a4f90f07cfe1aba6f8bf14c30f1d85d.
|
| #
50810ac4 |
|
20-Aug-2015 |
Gernot Heiser <gernot@nicta.com.au> |
s/AEP/Notification/ completed commit :-(
Had forgotten the "-a", bear with me, I'm a git newbie...
|
| #
95d1adb8 |
|
17-Aug-2015 |
Gernot Heiser <gernot@nicta.com.au> |
manual: Draft off
|
| #
427c4771 |
|
17-Aug-2015 |
Gernot Heiser <gernot@nicta.com.au> |
manual: Purely cosmetic changes / improved wording
|
| #
24fa2a29 |
|
18-Jul-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
Remove logo; clean up copyright marking.
|
| #
91b7da86 |
|
17-Jul-2014 |
TrusthworthySystems <gatekeeper@sel4.systems> |
Release snapshot
|