Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

User Activity

  • Committed [7d8b82]

    converted to Isabelle2015-RCx; added abstract f...

  • Committed [61a4d2]

    merged from afp-2014

  • Committed [eafd5a]

    improved context handling

  • Committed [62dc9b]

    base on HOL-Library to speed up build

  • Committed [06108a]

    chmod -x

  • Committed [3a65b0]

    ignore generated files

  • Posted a comment on ticket #111 on JFlex

    Now tracked on https://github.com/jflex-de/jflex/issues/113

  • Posted a comment on ticket #128 on JFlex

    Now tracked on https://github.com/jflex-de/jflex/issues/129

View All

Personal Data

Username:
lsf37
Joined:
2000-10-22 17:09:12

Projects

  • Project Logo Archive of Formal Proofs A collection of machine-checkend mathematical proofs Last Updated:
  • Project Logo Belle   Last Updated:
  • Project Logo JFlex The fast lexer generator for Java Last Updated:
  • Project Logo classgen   Last Updated:

Skills

  • No skills entered.

Personal Tools