Seatze und Definitionen in LaTeX Umgebung umgewandelt
funktionierendes und einheitliches Inhaltsverzeichnis
Numerierung vereinheitlicht
Ruby Skript um 'Flashcards' zu erzeugen
Unterschiedliche TeX environments (defn, prop, example) koennen ausgelesen werden
extrahiert ALLE environments im array texenvs
kleine fixes fuer \begin und \end
Kleinigkeiten: itemize, W'Raum, W'Ma\ss, Indikatorfunktion
Kleinigkeiten Teil 2: ZV, ZVen, Beweisnamen
Einheitliche emacs Einrueckung
Merge branch 'fix' into flashcards

damit man am neuesten Skript extract.rb testen kann
automatisches finden von Namen fuer flashcards
Fragen fuer Lernkarten hinzugefuegt
Merge branch 'fix' into flashcards
Alle Saetze und Definitionen als Flashcard
Vorlesung vom 27.5.2013 nachgetragen
Merge branch 'fix' into fred

Vereinheitlichungen des Skriptes: weniger manuelle Umbrueche und meher environments,
einheitliche Numerierung und Inhaltsverzeichnis, einheitliche Indikatorfunktion und
Abkürzungen.