Project

General

Profile

Statistics
| Branch: | Revision:

mbprog @ master

Name Size
  lectures
.dir-locals.el 134 Bytes
.gitignore 93 Bytes
Makefile 244 Bytes
skript.tex 3.49 KB

Latest revisions

# Date Author Comment
73af2559 08/14/2015 08:47 PM Hans-Peter Deifel

Spelling fix

Found by Qui_Sum

7249e862 07/30/2015 12:45 PM Julian Brost

And some more fixes

860e2787 07/29/2015 03:34 PM Julian Brost

Improve formatting, fix typos and Deppenapostroph

517e4bcf 07/29/2015 03:33 PM Hans-Peter Deifel

Fix for definition of algebraic theories

5a414eff 07/29/2015 03:32 PM Hans-Peter Deifel

Replace E by \E for equation sets

71cbbc59 07/29/2015 11:53 AM Julian Brost

Another two minor fixes

5ec9d63b 07/29/2015 12:12 AM Hans-Peter Deifel

Fixes in "Algebraic Theories" section

a784b8cf 07/29/2015 12:00 AM Hans-Peter Deifel

Move "Algebraic Theories" heading to correct place

ce0e8ccc 07/28/2015 09:28 PM Hans-Peter Deifel

One more fix before the CIP reboots

c44ca124 07/28/2015 09:20 PM Hans-Peter Deifel

Two more tiny fixes

View all revisions | View revisions

Also available in: Atom