Commit History

Autor SHA1 Mensaxe Data
  Eemeli Blåsten 6876894dfe Update licence years and mention GNU FDL for example html files %!s(int64=6) %!d(string=hai) anos
  Eemeli Blåsten 67289d201c Fix typo: sacle --> scale %!s(int64=7) %!d(string=hai) anos
  Eemeli Blåsten 82ff54f957 Name the project as "Lettus" %!s(int64=8) %!d(string=hai) anos
  Eemeli Blåsten b454312925 Do not style the body, instead use "content" %!s(int64=8) %!d(string=hai) anos
  Eemeli Blåsten fd86ff920b Style references %!s(int64=8) %!d(string=hai) anos
  Eemeli Blåsten 5fa962bdbc Make list-type objects look like nice LaTeXy %!s(int64=8) %!d(string=hai) anos
  Eemeli Blåsten 4c6fa11813 Fix link innerHTML placement %!s(int64=8) %!d(string=hai) anos
  Eemeli Blåsten 6eb3f77b25 Remove peekBox %!s(int64=8) %!d(string=hai) anos
  Eemeli Blåsten bc30a1a4cd Remove arrays that act as databases %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten d030287714 Implement three simple counters %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten 5954f14ed2 Number results only from the data-nbr attribute %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten 65b2024fb8 Download and use TeX fonts for main text %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten 1f99803c49 Show with examples the behaviour of citing offline ref %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten a543b23545 Emphasize more %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten d79f45d2f3 Add example of thing still need to make work %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten 1201d0e073 Clean example file a bit %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten 0048ade4e5 Add result number to same-document links pointing to it %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten dbaf58a1bc Write reference manually %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten f233e19ac9 Add reference data to html file %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten fcaf5eb7cd Put files into directories %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten 000d918636 Fix linking to theorems etc. not showing link text %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten 23e9bccc55 Add 'motivation' environment %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten 09e41db9ea Remove focusHere that tested p + p rule %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten d7aa2c47f3 Remove unneeded p inline tester %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten e8c95c70a9 Test for focusHere between two paragraphs %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten 80860cf68f Make testing thms more explicit %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten f8f864c668 Add empty theorem, see if something breaks %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten 376fb7b58d Put result name inside first nontrivial child element %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten 998260472d Add paragraphs to result statements %!s(int64=9) %!d(string=hai) anos
  Eemeli Blåsten c9b6ab50b2 Remove hr and section from forbit to break %!s(int64=9) %!d(string=hai) anos