History log of /barrelfish-master/doc/013-capability-mgmt/Hakefile
Revision Date Author Comments
# 9bd8d1d5 03-Apr-2019 Reto Achermann <reto.achermann@inf.ethz.ch>

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>


# 2a55468d 02-Jun-2017 Simon Gerber <simon.gerber@inf.ethz.ch>

doc: tn13: fix comment in hakefile

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>


# 808501ea 03-Jul-2015 Timothy Roscoe <troscoe@inf.ethz.ch>

Simplification of symbolic_targets.mk, addition of platforms and boots to Hake.


# cccca87e 12-Dec-2013 Mothy <troscoe@inf.ethz.ch>

Tidying up techical notes


# 931fec85 11-Mar-2013 Mothy <troscoe@inf.ethz.ch>

Mackerel quick reference page.
Fixed some bugs in the Mackerel documentation.
Changed more of the copyright addresses while I'm at it.


# 8aa0fc48 10-Jan-2012 Simon Gerber <gesimu@gmail.com>

Added possibility of running bibtex for tech notes.


# 9299dcef 08-Jul-2011 Stefan Kästle <stefan.kaestle@inf.ethz.ch>

Initial version of public stable barrelfish repository.