Markus Triska
|
cc7e721611
|
DOC: convert library(format) documentation to DocLog format
|
2023-01-25 23:18:39 +01:00 |
|
Markus Triska
|
22b815dc5c
|
DOC: correctly format the table using DocLog syntax
|
2023-01-25 22:29:14 +01:00 |
|
Adrián Arroyo Calle
|
d755bb7e12
|
Apply feedback on builtins
|
2023-01-25 21:04:10 +01:00 |
|
Adrián Arroyo Calle
|
6d99912b7b
|
Compatible Doclog docs for library(arithmetic) and small fixes on INDEX.md
|
2023-01-25 19:48:01 +01:00 |
|
Mark Thom
|
82dd9e0596
|
Merge pull request #1701 from triska/diag_doc
DOC: add DocLog documentation for library(diag)
|
2023-01-25 00:16:53 +01:00 |
|
Markus Triska
|
64be8e0fba
|
DOC: add DocLog documentation for library(debug)
|
2023-01-25 00:19:14 +01:00 |
|
Markus Triska
|
43a297b691
|
DOC: add DocLog documentation for library(diag)
|
2023-01-25 00:09:44 +01:00 |
|
Mark Thom
|
df266378c4
|
Merge pull request #1689 from triska/clpb_doc
DOC: preliminary CLP(B) documentation in DocLog format
|
2023-01-24 22:51:35 +01:00 |
|
Mark Thom
|
ec55765cb2
|
Merge pull request #1697 from triska/crypto_doc
DOC: convert library(crypto) documentation to DocLog format
|
2023-01-24 22:46:14 +01:00 |
|
Mark Thom
|
de2ff8118f
|
Merge pull request #1696 from triska/clpz_doc
DOC: improve CLP(ℤ) DocLog documentation
|
2023-01-24 22:45:51 +01:00 |
|
Mark Thom
|
c30c9dc98f
|
Merge pull request #1698 from triska/time_doc
DOC: convert library(time) documentation to DocLog format
|
2023-01-24 22:43:53 +01:00 |
|
Mark Thom
|
1f872c3f0c
|
Merge pull request #1694 from aarroyoc/docs-dcgs
Compatible Doclog docs for library(dcgs)
|
2023-01-24 22:43:43 +01:00 |
|
Markus Triska
|
af9f0f81d8
|
DOC: convert library(sgml) documentation to DocLog format
|
2023-01-24 22:42:58 +01:00 |
|
Markus Triska
|
1c08b56e05
|
strengthen reified division for divisor == 1
|
2023-01-24 22:15:05 +01:00 |
|
Markus Triska
|
6cb8020f62
|
DOC: add CLP(B) documentation in DocLog format
|
2023-01-24 22:15:05 +01:00 |
|
Markus Triska
|
d742d4cde9
|
DOC: convert library(time) documentation to DocLog format
|
2023-01-24 22:14:15 +01:00 |
|
Markus Triska
|
b7d06540e6
|
DOC: convert library(crypto) documentation to DocLog format
|
2023-01-24 22:13:38 +01:00 |
|
Markus Triska
|
909f2e1058
|
DOC: improve CLP(ℤ) DocLog documentation
|
2023-01-24 20:39:47 +01:00 |
|
Mark Thom
|
371bc3b231
|
Merge pull request #1676 from aarroyoc/docs-http-server
Compatible Doclog docs for library(http/http_server)
|
2023-01-24 04:09:39 +01:00 |
|
Adrián Arroyo Calle
|
7f177c3d03
|
Compatible Doclog docs for library(dcgs)
|
2023-01-23 21:03:11 +01:00 |
|
Mark Thom
|
4ed36a12e9
|
Merge branch 'retract_improvements'
|
2023-01-22 21:04:55 -07:00 |
|
Mark Thom
|
a7e93db363
|
improve retract/1 and related predicates (#1598)
|
2023-01-22 21:04:41 -07:00 |
|
Mark Thom
|
789715f31a
|
Merge pull request #1693 from aarroyoc/docs-xpath
Compatible Doclog docs for library(xpath).
|
2023-01-23 04:04:00 +01:00 |
|
Mark Thom
|
7cc900d437
|
Merge pull request #1691 from aarroyoc/docs-os-3
Compatible Doclog docs for library(os)
|
2023-01-23 04:02:57 +01:00 |
|
Mark Thom
|
ff0f6f4fc2
|
Merge pull request #1690 from aarroyoc/docs-charsio
Compatible Doclog docs for library(charsio)
|
2023-01-23 04:02:02 +01:00 |
|
Adrián Arroyo Calle
|
ddcae2c906
|
Compatible Doclog docs for library(xpath).
|
2023-01-22 21:22:54 +01:00 |
|
Adrián Arroyo Calle
|
468d096ccb
|
Compatible Doclog docs for library(between).
|
2023-01-22 20:26:30 +01:00 |
|
Adrián Arroyo Calle
|
bca79d12c0
|
Compatible Doclog docs for library(os)
|
2023-01-22 17:45:50 +01:00 |
|
Adrián Arroyo Calle
|
03eba9594b
|
Compatible Doclog docs for library(charsio)
|
2023-01-21 21:05:13 +01:00 |
|
Mark Thom
|
04fd835267
|
Merge pull request #1688 from aarroyoc/djot-migration
Migrate from Markdown to Djot
|
2023-01-21 04:48:26 +01:00 |
|
Adrián Arroyo Calle
|
f072761150
|
Fix assoc.pl file
|
2023-01-19 21:18:40 +01:00 |
|
Adrián Arroyo Calle
|
46d1e3bee3
|
Migrate from Markdown to Djot
|
2023-01-19 21:15:25 +01:00 |
|
Mark Thom
|
f9e3bdb6b0
|
restore free list usage on structures in facts without crashing lgtunit loader
|
2023-01-13 18:35:13 -07:00 |
|
Mark Thom
|
a80aab48cd
|
Merge pull request #1677 from aarroyoc/docs-dif
Compatible Doclog docs for library(dif)
|
2023-01-13 07:50:17 +01:00 |
|
Mark Thom
|
3a4aa2a541
|
tighten deallocate truncation of stack (#1686)
|
2023-01-12 23:47:07 -07:00 |
|
Markus Triska
|
f213956ceb
|
use (#)/1
|
2023-01-11 17:23:53 +01:00 |
|
Markus Triska
|
c5caa9d311
|
ADDED: sign/1 is now reifiable.
This addresses #1500.
|
2023-01-11 17:22:38 +01:00 |
|
Mark Thom
|
0c4d93f01f
|
remove add_term_to_free_list from AddToList (#1684)
|
2023-01-10 18:24:48 -07:00 |
|
Markus Triska
|
542b9e1976
|
rely on newly available operator notation for (#)/1
|
2023-01-10 22:59:11 +01:00 |
|
Markus Triska
|
73a1ee59fa
|
replace several more instances of ?/1 by (#)/1
|
2023-01-10 22:57:14 +01:00 |
|
Markus Triska
|
2771109427
|
use (#)/1 already internally for describing constraint projections
|
2023-01-10 22:50:38 +01:00 |
|
Markus Triska
|
cc420bd31a
|
FIXED: reification of (xor)/2.
Example:
?- A #= 1 xor 0 #<==> R.
%@ clpz:(A#=1#<==>R), clpz:(R in 0..1).
|
2023-01-10 22:09:41 +01:00 |
|
Markus Triska
|
2fe1d2ef53
|
FIXED: correctly reify (/)/2.
Example:
?- 0 #==> X #= 1/2.
%@ clpz:(X in inf..sup)
%@ ; false.
This addresses #1501.
|
2023-01-10 17:35:43 +01:00 |
|
Mark Thom
|
bb624cc971
|
use free lists to allow register re-use (#1612)
|
2023-01-08 12:11:04 -07:00 |
|
Mark Thom
|
aa7b8e52f3
|
use '$enqueue_attr_var' when adding attributes only
|
2022-12-24 00:31:47 -07:00 |
|
Adrián Arroyo Calle
|
07f358c91b
|
Compatible Doclog docs for library(dif)
|
2022-12-22 23:23:07 +01:00 |
|
Adrián Arroyo Calle
|
8ae0a1a4af
|
Compatible Doclog docs for library(http/http_server)
|
2022-12-22 22:36:33 +01:00 |
|
Adrián Arroyo Calle
|
7647ad14b8
|
More feedback applied
|
2022-12-21 23:19:38 +01:00 |
|
Adrián Arroyo Calle
|
21e4347b3e
|
Apply some feedback
|
2022-12-21 22:32:36 +01:00 |
|
Adrián Arroyo Calle
|
f2d041ea23
|
Merge branch 'master' into docs-builtins
|
2022-12-21 21:29:22 +01:00 |
|