various style tweaks
[~bandali/bndl.org] / se212-f19 / se212-t01.org
... / ...
CommitLineData
1#+macro: topic Propositional Logic
2
3#+macro: room MC 4040
4#+macro: sec1 SE 212 TUT 101
5#+macro: sec2 SE 212 TUT 102
6#+macro: time1 02:30-03:20W
7#+macro: time2 03:30-04:20W
8
9#+macro: sec {{{sec2}}}
10#+macro: sectime {{{time2}}}
11
12#+title: {{{topic}}}
13#+subtitle: ({{{sec}}})
14#+author: Amin Bandali
15#+email: bandali@uwaterloo.ca
16#+date: Wed Sep 11, 2019
17#+language: en
18#+options: email:t num:t toc:nil \n:nil ::t |:t ^:t -:t f:t *:t <:t
19#+options: tex:t d:nil todo:t pri:nil tags:not-in-toc
20#+select_tags: export
21#+exclude_tags: noexport
22#+startup: beamer
23#+latex_class: beamer
24# #+latex_class_options: [bigger]
25#+latex_header: \setbeamercovered{transparent}
26#+latex: \setbeamertemplate{itemize items}[circle]
27#+beamer_color_theme: beaver
28
29* Are you at the right place?
30
31We’re in {{{room}}}, for {{{sec}}} ({{{sectime}}})
32
33*
34
35#+latex: \definecolor{darkred}{rgb}{0.8,0,0}
36#+latex: {\Large \color{darkred}
37#+begin_center
38George
39#+end_center
40#+latex: }
41
42*
43
44#+latex: \vspace{-2.5em}
45file:./george.png
46
47#+latex: {\footnotesize
48https://www.student.cs.uwaterloo.ca/~se212/george/ask-george/
49#+latex: }
50
51* Tool support
52
53Over the years, students have developed a number of tools for using
54George and/or editing =.grg= files, such as plugins for Vim and Atom.
55
56Check them out at
57
58#+begin_center
59Course website → George User Manual → Contributions
60#+end_center
61
62* George mode for Emacs (new!)
63
64- Syntax highlighting + a number of convenience functions
65- Grab it from https://git.sr.ht/~bandali/george-mode \\
66 (soon on Contributions page)
67
68* =a00q01.grg= (demo)
69
70Walk through answering =a00q01.grg= and submitting on MarkUs
71
72* Homework 1
73:PROPERTIES:
74:BEAMER_act: [<+->]
75:END:
76
77- Let’s do a couple of questions from Homework 1
78- Now you try the rest, let me know if you have any questions