Skip to content

The main repository integrating the LaTeX beamer-based slides

License

Notifications You must be signed in to change notification settings

vogelh0ws/course

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Course on Answer Set Solving in Practice

The main repository integrating the LaTeX beamer-based slides for a MSc class on ASP

Structure

  • mostly implemented by LaTeX' \part and \section commands
  • separate slides with % followed by 70 -

Logic

  • use \neg for (default) negation in view of the logic of Here-and-There (was \naf before)

Style

  • use itemize environments with \structure{} (rather than description environment)

Installation

  1. Clone main repository [email protected]:potassco-asp-course/course.git
  2. Go to course cd course
  3. Retrieve submodules git submodule update --init --recursive
  4. Run latexmk main.tex

Production

  1. uncomment
    1. \includeonlylecture and
    2. {<target>,goodbye,bibliography} in main.tex
  2. run latexmk main.tex
  3. rename main.pdf into <target>.pdf
  4. undo above edits, latexmk main.tex again
  5. produce a release attaching both files
  6. link released files in webspace

Videos

Moved the list of videos to VIDEO.md

About

The main repository integrating the LaTeX beamer-based slides

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • TeX 99.8%
  • Makefile 0.2%