Vitor Santos Costa
|
bbd0122fc3
|
docs & python:
|
2018-05-30 21:54:12 +01:00 |
|
Vitor Santos Costa
|
faf3c930c8
|
docs
|
2017-04-07 23:10:59 +01:00 |
|
Vítor Santos Costa
|
661f33ac7e
|
bug fices
|
2016-01-03 02:06:09 +00:00 |
|
Vítor Santos Costa
|
15404b3835
|
small
- do not call goal expansion on meta-calls (that is done by undef).
- docs updates
- fix init code
|
2015-12-15 09:28:43 +00:00 |
|
Vítor Santos Costa
|
ce8a19d381
|
Add documentation
|
2015-11-18 15:06:25 +00:00 |
|
Vítor Santos Costa
|
da83ad447c
|
make var names available as a global var
|
2015-03-04 09:44:26 +00:00 |
|
Costa Vitor
|
7f54acb536
|
separate standard alarm from virtual alarm. timeout uses virtual alarm #112
|
2009-06-03 10:09:14 -05:00 |
|
Ulrich Neumerkel
|
6714048c9d
|
Forgotten change to virtual
|
2009-06-02 15:12:57 -05:00 |
|
Vitor Santos Costa
|
217afd3a72
|
fix undefined virtual_alarm
|
2009-06-01 21:30:56 -05:00 |
|
Vitor Santos Costa
|
c3974d49eb
|
allow users to disable interrupts, if so inclined.
|
2009-05-21 00:39:44 -05:00 |
|
Vitor Santos Costa
|
8169ef0343
|
fix stack_dump
|
2008-08-25 15:20:18 +01:00 |
|
vsc
|
17d16e0b14
|
Big update to support more SICStus/SWI like message handling
fix YAPSHAREDIR
fix yap.tex (Bernd)
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2107 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-02-22 15:08:37 +00:00 |
|
vsc
|
af0fb4f4d9
|
SWI-portability changes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2088 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-02-12 17:03:59 +00:00 |
|
ricroc
|
a32d5dbe5f
|
*** empty log message ***
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1796 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-02-13 12:35:30 +00:00 |
|
vsc
|
48fdba3f1e
|
fix matrix mess
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1778 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-01-24 10:01:40 +00:00 |
|
vsc
|
b998d18a1a
|
direct access to blood curdling stuff!
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1740 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-12-27 01:54:21 +00:00 |
|