source: experiments/frams/logic

Name Size Rev Age Author Last Change
../
data 480   8 years sz experiment scripts updated to match the upcoming Framsticks version …
readme-abduction.txt 1.4 KB 193   10 years Maciej Komosinski Set svn:eol-style native for all textual files
run-abduction.cmd 750 bytes 703   7 years Maciej Komosinski The "ex" macro renamed to "expdef" since 5.0rc12
Note: See TracBrowser for help on using the repository browser.