]> Repositorios git - scryer-prolog.git/commit
Merge pull request #370 from triska/master
authorMark Thom <[email protected]>
Sun, 19 Apr 2020 19:33:51 +0000 (16:33 -0300)
committerGitHub <[email protected]>
Sun, 19 Apr 2020 19:33:51 +0000 (16:33 -0300)
commiteef25ec6384f8cbb116d591cf6304432d510d100
treedfc1c018381ca6b80465176aed7aabeaff62f0a0
parent2c92be5e3df807e6da15a48ba396caccd7e37a79
parent7141fb18c1c598364a22f0ff6be2773324f72860
Merge pull request #370 from triska/master

ENHANCED: time(Goal) now also reports the time if Goal fails