Commit bd2e2dd1 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Partially sort entries in stdlib documentation (bug #20324).

parent c91e1a99
...@@ -1794,6 +1794,7 @@ STDLIBS = algebra \ ...@@ -1794,6 +1794,7 @@ STDLIBS = algebra \
bag \ bag \
bintree \ bintree \
bool \ bool \
bv \
floating_point \ floating_point \
graph \ graph \
int \ int \
...@@ -1801,16 +1802,24 @@ STDLIBS = algebra \ ...@@ -1801,16 +1802,24 @@ STDLIBS = algebra \
map \ map \
number \ number \
option \ option \
seq \
pigeon \ pigeon \
real \ real \
relations \ relations \
seq \
set \ set \
sum \ sum
bv
# function ? tptp ? # function ? tptp ?
STDMODS = array matrix hashtbl impset pqueue queue random ref stack string STDMODS = array \
hashtbl \
impset \
matrix \
pqueue \
queue \
random \
ref \
stack \
string
STDMACS = array int STDMACS = array int
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment