User Activity
-
Modified
ticket #24
on
diamond
ICCMA adaptions
-
Modified
a comment
on
ticket #24
on
diamond
Commit [8dcc59] starts to implement some functionality (that is not yet functional...
-
Modified
ticket #24
on
diamond
ICCMA adaptions
-
Posted
a comment
on
ticket #24
on
diamond
Commit [716585] starts to implement some functionality (that is not yet functional...
-
Modified
a comment
on
ticket #23
on
diamond
[ebd45d]
-
Modified
a comment
on
ticket #23
on
diamond
[7165851]
-
Posted
a comment
on
ticket #23
on
diamond
7165851
-
Modified
ticket #23
on
diamond
Cred/Skep Reasoning modes
Personal Data
- Username:
- hstrass
- Joined:
- 2014-02-24 13:36:01
Projects
