Vitor Santos Costa
|
fb554aadd0
|
changes for pdf generation in ProbLog.
|
2010-08-31 15:53:43 -05:00 |
|
Vitor Santos Costa
|
8b9cf7dc2a
|
YAP_SetYAP_Flag
|
2010-08-30 22:25:56 -05:00 |
|
Vitor Santos Costa
|
ca3177889c
|
improve code in getting restore file.
|
2010-08-17 13:19:17 +01:00 |
|
Vitor Santos Costa
|
e4a76d7f1e
|
add coinduction.yap code.
|
2010-08-06 00:58:11 +01:00 |
|
Vitor Santos Costa
|
a4129c507d
|
remove leftover files (obs from Bernd Gutmann)
|
2010-08-05 22:36:00 +01:00 |
|
Vitor Santos Costa
|
7997f2e217
|
remove left-over files.
|
2010-08-05 22:35:16 +01:00 |
|
Vitor Santos Costa
|
56f70a8b14
|
document changes.
|
2010-08-04 23:36:41 +01:00 |
|
Vitor Santos Costa
|
410c4c96d5
|
Ulrich Neumerkel's lambda expressions.
|
2010-08-04 23:26:50 +01:00 |
|
Vitor Santos Costa
|
b3b61bcecc
|
FIXED: make install clpqr was broken if we used local install_sh
|
2010-08-04 22:35:57 +01:00 |
|
Vitor Santos Costa
|
7bf8187bba
|
remove atan2 (WG17 UD #175)
|
2010-08-04 22:09:08 +01:00 |
|
Vítor Santos Costa
|
8592db72d7
|
start 6.0.7
|
2010-08-04 20:29:24 +01:00 |
|
Vitor Santos Costa
|
fd9f4efe0b
|
fix indexing of bignums (obs from Jos de Roo).
|
2010-05-14 12:42:30 +01:00 |
|
Vitor Santos Costa
|
c2f84c9e28
|
fix unify_dbterm.
|
2010-05-13 00:04:56 +01:00 |
|
Vitor Santos Costa
|
a4344f5bf6
|
move to 6.0.6
|
2010-05-11 22:22:13 +01:00 |
|
Vitor Santos Costa
|
31554991c8
|
better emulation of SWI atom_t and functor_t.
|
2010-05-03 14:26:56 +01:00 |
Costa Vitor
|
a4df13c75e
|
go back to having a change log, we're stable enough for that.
|
2010-05-01 06:57:18 -05:00 |