Tags

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

52

da26af41 · Merge pull request #130 from MLanguage/fix_doc · Feb 21, 2022
51

3a5e9f7f · Merge pull request #127 from MLanguage/fix-license · Feb 21, 2022
50

3461b3ef · Merge pull request #120 from MLanguage/cmdliner-1.1.0 · Feb 21, 2022
49

537f6917 · Merge pull request #123 from MLanguage/rule-dup · Feb 14, 2022
48

db553da4 · Merge pull request #122 from MLanguage/cycle-print-fix · Feb 14, 2022
47

3b4821d1 · Merge pull request #114 from ddeclerck/fix_indices_computation · Feb 10, 2022
46

d2fd02f0 · Merge pull request #118 from MLanguage/specify-cmdliner-version · Feb 10, 2022
45

63cd6540 · Merge pull request #113 from MLanguage/fully-implement-java-backend · Feb 10, 2022
44

6b6171be · Merge pull request #112 from MLanguage/subst-consts · Feb 02, 2022
43

ac201ad8 · Merge pull request #108 from MLanguage/ocamlformat-0.19 · Jan 19, 2022
29

dba25751 · Merge pull request #106 from MLanguage/web_doc · Jan 12, 2022
28

67515472 · Merge pull request #84 from MLanguage/undef-expr-eval · Jan 12, 2022
27

d733faa7 · Merge pull request #98 from ddeclerck/var_err2 · Dec 01, 2021
26

587c5b89 · Merge pull request #97 from ddeclerck/options · Nov 23, 2021
25

80bde591 · Merge pull request #96 from ddeclerck/call_chaining · Nov 23, 2021
24

a8749761 · Merge pull request #95 from MLanguage/format-margin · Nov 23, 2021
23

066141eb · Merge pull request #94 from MLanguage/improve-anomaly-handling · Nov 15, 2021
22

d994b4c3 · Merge pull request #93 from MLanguage/remove-release-profile · Nov 12, 2021
21

c9909945 · Merge pull request #92 from MLanguage/remove-release-profile · Nov 12, 2021
20

11df6329 · Merge pull request #57 from MLanguage/input-output-config · Nov 12, 2021

1
…
4
5
6
7
8
9
10