summaryrefslogtreecommitdiff
path: root/prolog
ModeNameSize
-rw-r--r--common.py2133logplain
-rw-r--r--en.py2789logplain
d---------facts154logplain
-rw-r--r--intro_en.html5840logplain
-rw-r--r--intro_sl.html5518logplain
d---------problems535logplain
-rw-r--r--sl.py3311logplain