Skip to content
Browse files

Renamed the Oberwolfach folder to a more self-descriptory name

  • Loading branch information...
1 parent eb0aa4a commit c47d7555163c41892c22fa59731fbae8703b8d66 @andrejbauer committed Mar 4, 2011
View
1 Oberwolfach/Makefile → OberwolfachTutorial/Makefile
@@ -27,4 +27,3 @@ doc:
clean:
/bin/rm -f *~ *.{aux,log,vo,glob,out,pdf} univalence_body.tex
-
View
0 Oberwolfach/OUTLINE.txt → OberwolfachTutorial/OUTLINE.txt
File renamed without changes.
View
0 Oberwolfach/README.txt → OberwolfachTutorial/README.txt
File renamed without changes.
View
0 Oberwolfach/cheatsheet.tex → OberwolfachTutorial/cheatsheet.tex
File renamed without changes.
View
0 Oberwolfach/coqdoc.sty → OberwolfachTutorial/coqdoc.sty
File renamed without changes.
View
0 Oberwolfach/equality.v → OberwolfachTutorial/equality.v
File renamed without changes.
View
0 Oberwolfach/frobenius.v → OberwolfachTutorial/frobenius.v
File renamed without changes.
View
0 Oberwolfach/peirce.v → OberwolfachTutorial/peirce.v
File renamed without changes.
View
0 Oberwolfach/trees.v → OberwolfachTutorial/trees.v
File renamed without changes.
View
0 Oberwolfach/univalence.tex → OberwolfachTutorial/univalence.tex
File renamed without changes.
View
0 Oberwolfach/univalence.v → OberwolfachTutorial/univalence.v
File renamed without changes.

0 comments on commit c47d755

Please sign in to comment.
Something went wrong with that request. Please try again.