Commit [a1a41b] Isabelle2008  Maximize  Restore  History

added SenSocialChoice

nipkow nipkow 2008-11-17

added web/entries/SenSocialChoice.shtml
changed web/index.shtml
web/entries/SenSocialChoice.shtml Diff Switch to side-by-side view
Loading...
web/index.shtml Diff Switch to side-by-side view
Loading...

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

Sign up for the SourceForge newsletter:





No, thanks