Tags

Tags give the ability to mark specific points in history as being important

2.14.18

1460df0e · CI: add a missing file · Feb 07, 2020

Release: 2.14.18
```
Release 2.14.18
```
2.14.17

68163d12 · test: add a new spanning tree construction algorithm · Feb 06, 2020

Release: 2.14.17
```
Release 2.14.17
```
2.14.16

d31d6f81 · Chore · Jan 31, 2020

Release: 2.14.16
```
Release 2.14.16
```
2.14.15

716d608a · docker: fix the test on the docker distribution · Jan 27, 2020

Release: 2.14.15
```
Release 2.14.15
```
2.14.14

0fe60af2 · test: use the rdbg 1.187.1 new online help mechanism · Jan 27, 2020

Release: 2.14.14
```
Release 2.14.14
```
2.14.13

949ae275 · Update: rename demon into daemon everywhere (for consistency) · Jan 22, 2020

Release: 2.14.13
```
Release 2.14.13
```
2.14.12

da31d715 · Doc: add labels to sections to get nicer url · Jan 20, 2020

Release: 2.14.12
```
Release 2.14.12
```
2.14.11

9088d93d · Test: don't hardcode the degree in the example · Jan 13, 2020

Release: 2.14.11
```
Release 2.14.11
```
2.14.10

ab7c3b91 · Doc: add a missing image · Dec 02, 2019

Release: 2.14.10
```
Release 2.14.10
```
2.14.9

16ed9889 · Doc: fix the doc generation · Dec 02, 2019

Release: 2.14.9
```
Release 2.14.9
```
2.14.8

79b44bd6 · CI: do not add the 1.2 opam repo · Dec 02, 2019

Release: 2.14.8
```
Release 2.14.8
```
2.14.7

5375aa41 · Fix: Topology.get_nb_link does not need the oriention of the graph · Nov 20, 2019

Release: 2.14.7
```
Release 2.14.7
```
2.14.6

6b6f4c8b · Doc: more work on the user guide · Nov 14, 2019

Release: 2.14.6
```
Release 2.14.6
```
2.14.5

b13d7994 · CI: Generate the _html dir before trying to copy it · Oct 31, 2019

Release: 2.14.5
```
Release 2.14.5
```
2.14.4

f87bcf3c · Doc: some enhancements · Oct 31, 2019

Release: 2.14.4
```
Release 2.14.4
```
2.14.3

23c04396 · Doc: the link to the odoc generated pages was not working · Oct 24, 2019

Release: 2.14.3
```
Release 2.14.3
```
2.14.2

4f7f7091 · Chore: fix the CI by avoiding to call odoc, which is unnecassary and broken on this docker image · Oct 23, 2019

Release: 2.14.2
```
Release 2.14.2
```
2.14.1

88b6e7bd · Update: print the step number in --no-log mode (otherwise, it is frustating) · Oct 23, 2019

Release: 2.14.1
```
Release 2.14.1
```
2.14.0

16879afe · Chore: merge the change of Karine · Oct 23, 2019

Release: 2.14.0
```
Release 2.14.0
```
2.13.4

8dd0f762 · update: add type ' state state_init_fun · Oct 23, 2019

Release: 2.13.4
```
Release 2.13.4
```

Prev
1
2
3
4
5
6
7
8
Next