bkc39 / Coq311

A course in Functional Programming and Data Structures
GNU General Public License v2.0
2 stars 0 forks source link

Create Latex Style #5

Open bkc39 opened 9 years ago

bkc39 commented 9 years ago

We need to create the LaTeX style and class files. I think we should follow the 3110 model and have

bkc39 commented 9 years ago

Ok, I've added preliminary version of these things. Check the pull request and review.

bkc39 commented 9 years ago

Ok, I think this is finally done.. Here is what you see when you compile the style guide:

screen shot 2015-02-23 at 10 46 14 pm

We can always keep this branch alive and reopen the issue if we are unhappy with how our macros look down the road.

bennn commented 9 years ago

I couldn't \maketitle because I didn't have an image to \set. Also, I don't think I want to have a title page for each lecture. So I've added a small macro \lecture{TITLE} to use as a simple header.

What's the best way to include the style files? Should we add the tex folder to our environment, put a symlink in the lectures/ folder, add relative paths to our makefiles?

bkc39 commented 9 years ago

Ah, yea the image was (probably mistakenly) included in #8 rather than this issue. I'll check out your branch and see what's good.