User Activity

  • Committed [15a706]

    fixed combinations of screens resolutions for `...

  • Committed [081a50]

    moved counter skip test to the wrapper macro in...

  • Committed [2c14d0]

    added march month's movies & S.T. episodes

  • Committed [ca09ee]

    fixed "counter(s) not re-initialized" issue wit...

  • Committed [r11]

    fixed fluxbox 'apps'

  • Committed [f40b94]

    added `\pBIC' binary, `\pTIC' ternary, `\pQIC' ...

  • Committed [d2aeca]

    added `\pUIC' unary inference macro-name

  • Committed [a80b27]

    fixed `TeX-bpt-buss' when the `\prooftrees' com...

View All

Personal Data

Username:
gseba
Joined:
2002-05-16 13:45:21

Projects

Skills

  • No skills entered.

Personal Tools

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks