User Activity

  • Committed [f85628]

    README: update dependency information and build...

  • Committed [811767]

    Add autoconfiscation to TODO

  • Committed [cb6d55]

    Bump copyright year

  • Committed [6ea6e0]

    Remove one last use of defunct lypslatex package

  • Committed [e0022d]

    Fix an incorrectly-named instruction in procSpe...

  • Committed [318d50]

    Makefile: produce PDF directly with pdflatex

  • Committed [333454]

    procSpec.lua: fix a Lua 4-ism

  • Committed [799ea7]

    spec.lua: fix a trivial LaTeX typo in salloc

View All

Personal Data

Username:
rrt
Joined:
2000-07-11 11:52:15

Projects

Skills

  • No skills entered.

Personal Tools