Started implementing snippets.
Implemented snippet docs display in browser.
Implementing snippet download/upload UI, take 1.
Implementing snippet download/upload UI, take 2: implemented snippet display, now need editing.
Fixed infinite looping in jquery-linenum when textarea is not visible. Almost implemented snipped editing UI.
Implementing snippet editing, take 1.
Implementing snippet editing, take 2 (almost done; todo: non-ascii names, better error messages for not-logged-in users).
Fixed unicode snippet name issues.
Fixed a couple of issues for non-logged-in users editing snippets. Fixed css for snippet list and pagination.
Fixed bugs in snippet editor. Added some snipprts and one example.
Fixed descriotion of new simulation.
Added snippet general docs; working on doc pages with individual snippets.
Added doc pages for individual snippets.
Implemented references to documentation of individual snippets.