- Sponsor
-
Notifications
You must be signed in to change notification settings - Fork 177
Pull requests: SWI-Prolog/swipl-devel
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
DOC: 4.1.3 Determinism, 4.5 Type verifications, 4.7 the "\+"
#770
opened Jan 14, 2021 by
dtonhofer
updated Jan 14, 2021
ENHANCED: allow user:exception for missing shlibs, save dependencies
#429
opened Feb 5, 2019 by
erlanger
updated Oct 6, 2022
Some suggested extensions to existing signatures and mapm
#783
opened Feb 14, 2021 by
GavinMendelGleason
Loading…
updated Oct 6, 2022
ADDED: portray_var/2 and flag auto_name_variables
#867
opened Jul 30, 2021 by
dmchurch
Loading…
updated Oct 6, 2022
ADDED: ord_difference/4, ord_partition/5
#878
opened Aug 26, 2021 by
dmchurch
Loading…
updated Oct 6, 2022
Move to classic unconfined snap package
#893
opened Oct 10, 2021 by
LyzardKing
Loading…
updated Oct 6, 2022
Modify
infer_meta_predicate/2
such that ?
is reported rather than *
#897
opened Oct 24, 2021 by
eshelyaron
Loading…
updated Oct 6, 2022
ProTip!
Follow long discussions with comments:>50.