X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/a77e0df0de7eb24fa8999ac23c45ee4d0f445c1f..4927af92d3b136436aa41a26369794443aa69b97:/static/se212-f19/se212-t01.org

diff --git a/static/se212-f19/se212-t01.org b/static/se212-f19/se212-t01.org
deleted file mode 100644
index 12e9cdd..0000000
--- a/static/se212-f19/se212-t01.org
+++ /dev/null
@@ -1,78 +0,0 @@
-#+macro: topic Propositional Logic
-
-#+macro: room MC 4040
-#+macro: sec1 SE 212 TUT 101
-#+macro: sec2 SE 212 TUT 102
-#+macro: time1 02:30-03:20W
-#+macro: time2 03:30-04:20W
-
-#+macro: sec {{{sec2}}}
-#+macro: sectime {{{time2}}}
-
-#+title:    {{{topic}}}
-#+subtitle: ({{{sec}}})
-#+author:   Amin Bandali
-#+email:    bandali@uwaterloo.ca
-#+date:     Wed Sep 11, 2019
-#+language: en
-#+options:  email:t num:t toc:nil \n:nil ::t |:t ^:t -:t f:t *:t <:t
-#+options:  tex:t  d:nil todo:t pri:nil tags:not-in-toc
-#+select_tags: export
-#+exclude_tags: noexport
-#+startup: beamer
-#+latex_class: beamer
-# #+latex_class_options: [bigger]
-#+latex_header: \setbeamercovered{transparent}
-#+latex: \setbeamertemplate{itemize items}[circle]
-#+beamer_color_theme: beaver
-
-* Are you at the right place?
-
-We’re in {{{room}}}, for {{{sec}}} ({{{sectime}}})
-
-* 
-
-#+latex: \definecolor{darkred}{rgb}{0.8,0,0}
-#+latex: {\Large \color{darkred}
-#+begin_center
-George
-#+end_center
-#+latex: }
-
-* 
-
-#+latex: \vspace{-2.5em}
-file:./george.png
-
-#+latex: {\footnotesize
-https://www.student.cs.uwaterloo.ca/~se212/george/ask-george/
-#+latex: }
-
-* Tool support
-
-Over the years, students have developed a number of tools for using
-George and/or editing =.grg= files, such as plugins for Vim and Atom.
-
-Check them out at
-
-#+begin_center
-Course website → George User Manual → Contributions
-#+end_center
-
-* George mode for Emacs (new!)
-
-- Syntax highlighting + a number of convenience functions
-- Grab it from https://git.sr.ht/~bandali/george-mode \\
-  (soon on Contributions page)
-
-* =a00q01.grg= (demo)
-
-Walk through answering =a00q01.grg= and submitting on MarkUs
-
-* Homework 1
-:PROPERTIES:
-:BEAMER_act: [<+->]
-:END:
-
-- Let’s do a couple of questions from Homework 1
-- Now you try the rest, let me know if you have any questions