?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: e0c04f8) | patch
add truth-property-proposition
commit30a7708a843ddf28332d590e5e095366797e4b89
authorSebastian Hoß <mail@shoss.de>
Mon, 16 May 2016 14:36:03 +0000 (16 16:36 +0200)
committerSebastian Hoß <mail@shoss.de>
Mon, 16 May 2016 14:36:03 +0000 (16 16:36 +0200)
treeea25be065ea2068d4b32c5ddaff70a6129a0e7b6tree | snapshot (tar.gz zip)
parente0c04f8b5ffb3680af834bc1296a1d13c93ae4accommit | diff
add truth-property-proposition

Signed-off-by: Sebastian Hoß <mail@shoss.de>
mpb/projects.json diff | blob | blame | history