Tidying up techical notes
authorMothy <troscoe@inf.ethz.ch>
Thu, 12 Dec 2013 16:03:10 +0000 (17:03 +0100)
committerMothy <troscoe@inf.ethz.ch>
Thu, 12 Dec 2013 16:03:10 +0000 (17:03 +0100)
commitcccca87e5780c229d0cc91a60e219b395d769e79
tree1a11d5c8acc61e916e022a740082c1bd9d78c4f1
parent405464f5e954600cc58b27f5c499bcc0e406a365
Tidying up techical notes
18 files changed:
README
doc/001-glossary/Glossary.tex
doc/001-glossary/Main.hs
doc/003-hake/Hake.tex
doc/005-scc/SCC.tex
doc/006-routing/Routing.tex
doc/008-tracing/Tracing.tex
doc/013-capability-mgmt/CapMgmt.tex
doc/013-capability-mgmt/Hakefile
doc/013-capability-mgmt/type_system.tex
doc/017-arm/ARM.tex
doc/018-Practical-guide/PracticalGuide.tex
doc/018-Practical-guide/readme.tex
doc/019-device-drivers/DeviceDriver.tex
doc/019-device-drivers/Hakefile
doc/style/barrelfish.bib
doc/style/bftn.sty
hake/symbolic_targets.mk