Commit Graph

1964 Commits

Author SHA1 Message Date
Vitor Santos Costa
9dac6e9612 Merge branch 'master' of https://github.com/vscosta/yap-6.3 2018-10-13 08:51:54 +01:00
Vitor Santos Costa
e747b7f9c1 docs 2018-10-13 08:45:40 +01:00
Vitor Santos Costa
7772699ef7 snapshot 2018-10-12 14:57:05 +01:00
Vítor Santos Costa
67cc23725f verbose vs verbosity 2018-10-11 07:47:28 +01:00
Vítor Santos Costa
6096c6407a fix bad patch 2018-10-10 19:20:32 +01:00
Vitor Santos Costa
cb1c73c973 small fixes 2018-10-10 12:33:05 +01:00
Vítor Santos Costa
32266a8b98 problog 2018-10-10 09:39:04 +01:00
Vitor Santos Costa
ba6e0728ae Merge 192.168.1.103:github/yap-6.3 2018-10-06 05:39:52 +01:00
Vitor Santos Costa
4f292cb521 usabiity 2018-10-05 10:27:03 +01:00
Vitor Santos Costa
50b13a15a0 Merge ssh://ssh.dcc.fc.up.pt:31064//home/vsc/yap 2018-09-30 00:12:13 +01:00
Vitor Santos Costa
a01ba3383b hide 2018-09-26 01:16:07 +01:00
Vitor Santos Costa
87c6971bb6 WIN32 2018-09-26 01:14:14 +01:00
Vítor Santos Costa
b6235d8ecd trust your head 2018-09-18 19:43:50 +01:00
Vítor Santos Costa
7661b8581c typos 2018-09-18 19:26:51 +01:00
Vítor Santos Costa
a2d397976f Use the C luke 2018-09-18 19:26:31 +01:00
Vitor Santos Costa
9ec1ffb2c7 Merge ssh://xato/home/vsc/yap 2018-09-14 17:46:00 +01:00
Vitor Santos Costa
f8d0703983 fixes 2018-09-14 11:28:24 +01:00
Vítor Santos Costa
290ee932ed problog 2018-09-13 17:08:26 +01:00
Vítor Santos Costa
46247bca56 Merge /home/vsc/yap 2018-09-12 16:18:30 +01:00
Vitor Santos Costa
059c406fd9 message handling. 2018-09-11 01:50:17 +01:00
Vitor Santos Costa
81998122a8 Merge ssh://ssh.dcc.fc.up.pt:31064//home/vsc/yap 2018-09-10 17:08:43 +01:00
Vitor Santos Costa
5c8f8457fa debugger 2018-09-10 17:06:13 +01:00
Vítor Santos Costa
f6d8304fcf Problog 2018-08-31 20:03:00 +01:00
Vitor Santos Costa
e0cc401381 remove debugging 2018-08-29 17:44:48 +01:00
Vitor Santos Costa
208ed54b45 rational trees. 2018-08-15 01:29:20 +01:00
Vitor Santos Costa
ecab37f72c write infinite terms 2018-08-09 16:42:43 +01:00
Vitor Santos Costa
af7584e1f3 reexport 2018-08-09 02:10:30 +01:00
Vitor Santos Costa
4a28e5861a reexport 2018-08-09 02:07:57 +01:00
Vitor Santos Costa
3b186a064a listing 2018-08-09 02:07:25 +01:00
Vitor Santos Costa
f6596da27d Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2018-08-07 09:58:22 +01:00
Vitor Santos Costa
24014ded21 Merge ../../yap-6.3 2018-08-06 21:16:41 +01:00
Vitor Santos Costa
55b2325b2e sqlite3 2018-07-31 22:13:30 +01:00
Vitor Santos Costa
bf712034a9 jupyter 2018-07-27 11:11:04 +01:00
Vitor Santos Costa
436f1c205a jup 2018-07-24 20:18:41 +01:00
Vitor Santos Costa
0c950ce5b3 jup 2018-07-21 12:08:09 +01:00
Vitor Santos Costa
562e9e5af3 jupyter 2018-07-21 01:56:48 +01:00
Vitor Santos Costa
abc11dcfaa :fixes 2018-07-18 17:36:01 +01:00
Vitor Santos Costa
e5748f3c9f error 2018-07-17 11:43:57 +01:00
Vitor Santos Costa
69e0c739e8 Merge ../../yap-6.3 2018-07-15 13:46:58 +01:00
Vitor Santos Costa
52d69d3c06 droid 2018-07-15 13:46:26 +01:00
Vitor Santos Costa
4b3aedccb5 misc 2018-07-15 13:44:55 +01:00
Vítor Santos Costa
3efb73f35d Merge /home/vsc/yap 2018-07-13 12:30:26 +01:00
Vítor Santos Costa
4b474574d8 memstream 2018-07-13 12:27:58 +01:00
Vitor Santos Costa
4fff363436 fixes 2018-07-12 15:17:01 +01:00
Vitor Santos Costa
4de58e0fe4 load_file 2018-07-12 11:02:09 +01:00
Vitor Santos Costa
7b774ef5cd Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2018-07-11 22:16:10 +01:00
Vitor Santos Costa
101bdf0f6c autoload 2018-07-11 22:15:54 +01:00
Vítor Santos Costa
c2e2ec8fcf Merge /home/vsc/yap 2018-07-11 19:32:04 +01:00
Vítor Santos Costa
aed15571ff R 2018-07-11 19:26:02 +01:00
Vitor Santos Costa
2e8dd92d89 jupyter-related-fixes 2018-07-10 23:21:19 +01:00