summaryrefslogtreecommitdiffstats
path: root/outline.org
diff options
context:
space:
mode:
Diffstat (limited to 'outline.org')
-rw-r--r--outline.org9
1 files changed, 9 insertions, 0 deletions
diff --git a/outline.org b/outline.org
new file mode 100644
index 0000000..3d7470e
--- /dev/null
+++ b/outline.org
@@ -0,0 +1,9 @@
+#+title: Outline
+
+For the presentation at chalmers, I will in general want the following outline:
+
+* Background
+
+The background that I need to introduce is: What is HLS, and what is CompCert.
+
+*