Home Explore Help
Sign In
flatwhatson
/
scheme48
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Branch: s48-stable
Branches Tags

Commit History

Author SHA1 Message Date
  Mike Sperber 93ec078afc Bump copyright year. 17 years ago
  Mike Sperber 78124ab817 Update copyright year. 17 years ago
  Michael Sperber da1b6d738e Subject: Merge the BIBOP branch [s48-tuebingen @ 1195] 20 years ago