Fix up data

[ryanmuller]

• Labels for everything
• Names for definitions and theorems (cross-referenced with Rudin text)
• Remove superfluous labels
• Check for mistakes
• Make sure video syncs are correct
• Type up theorems and definitions not covered in video

[npisenti]

How far did you get on this...? Looks like everything is categorized now; is there any other editing that needs to be done?

[ryanmuller]

Don't remember how far I got with associations, but not sure we'll even use
those... Just general make sure stuff isn't sloppy/wrong/etc. But we can
work those out as we find them.

2012/3/13 Neal Pisenti <
[email protected]

How far did you get on this...? Looks like everything is categorized now;
is there any other editing that needs to be done?

---

Reply to this email directly or view it on GitHub:
#1 (comment)

[ryanmuller]

Going to reopen for naming everything, and also doing more cleanup, especially by adding linebreaks.

For things without obvious names: we could go by the definition/theorem number in the book. Then should we do that for everything for search purposes?

[npisenti]

Maybe we could add a "hidden" name field which would contain the book
definition/theorem number to be searched, but not display visibly to the
user.

On Thu, Mar 15, 2012 at 10:36 AM, cicatriz <
[email protected]

wrote:

Going to reopen for naming everything, and also doing more cleanup,
especially by adding linebreaks.

For things without obvious names: we could go by the definition/theorem
number in the book. Then should we do that for everything for search
purposes?

---

Reply to this email directly or view it on GitHub:
#1 (comment)

Neal Pisenti
[email protected]

[npisenti]

What are your thoughts on the commentary? We could make it display depending on a user setting, or on a toggle button on the main page, or leave it out entirely (currently what's happening)...?

[npisenti]

We seem to be missing notes from lecture 14...

[ryanmuller]

Just grabbed it from the server. I'll work on sorting it out.

2012/3/15 Neal Pisenti <
[email protected]

We seem to be missing notes from lecture 14...

---

Reply to this email directly or view it on GitHub:
#1 (comment)

[ryanmuller]

Whaaaat... looks like 14 got mislabeled as 13 and they are currently
interleaved but separable by video id. Fixing that now.

2012/3/15 Ryan Muller [email protected]

Just grabbed it from the server. I'll work on sorting it out.

2012/3/15 Neal Pisenti <
[email protected]

We seem to be missing notes from lecture 14...

---

Reply to this email directly or view it on GitHub:
#1 (comment)

[npisenti]

Other things to look for: there are some items with missing ( ) LaTeX braces. This'll probably take paging through all of the items on the server, and looking for ones that didn't render properly.