Changes since nightly-2020-04-25:

Full commit log

• f1fc405 refactor(init/data/string/*): implement decidable equality for strings without using tactics (#204)
• 2259a2c change interactive calc to refine calc (#203)

Changes since nightly-2020-04-21:

Full commit log

• e611ee5 chore(category): rename to control (#202)

Changes since nightly-2020-04-19:

Full commit log

• c59125c fix(library/init/meta/interactive): removing for simp [← local_const ...] (#198)

Changes since v3.9.0:

Full commit log

• c3b0b20 doc(*): update changelog for 3.9 (#195)

Changes since nightly-2020-04-14:

Full commit log

• 2414e7a feat(parser/add_local): add control for local scope, pattern parsing (#192)

Changes since nightly-2020-04-12:

Full commit log

• 2c3a83c fix(scanner): read nested doc strings properly (#191)
• 0106385 fix(frontends/lean/decl_util): collect univ params of implicit i… (#189)

Changes since nightly-2020-04-11:

Full commit log

• a375a20 feat(frontends/lean/parser): support user commands after imports (#188)
• aa306af fix(library/compiler): convert string expressions into macros (#187)
• f38ba14 perf(library/init/data/array/basic): speed up array.map (#186)

Changes since v3.8.0:

Full commit log

• b3a1be5 feat(library/vm): string literals (#185)
• 292f650 fix(library/tactic/simp_lemmas): reverse order of emetas (#183)

Changes since nightly-2020-04-07:

Full commit log

• f2b0c28 chore(*): revert removal of unnecessary axioms (#178)

Changes since nightly-2020-04-04:

Full commit log

• 4b0c279 fix(init/algebra/group): use same definition for add_comm_monoid… (#177)
• a148f38 Vm override (#48)
• 8178b17 feat(native.float): add float.of_string and change ceil, `fl… (#176)
• 28c860b fix(*): make RelaxedImplicit default inferred implicit kind (#175)
• 0ca8cb2 refactor(algebra): removing unnecessary axioms from group, ring… (#132)
• 645c63e fix(library/compiler/simp_inductive): fix an assertion violation… (#173)
• 027bab5 refactor(algebra/*): rename ordered groups/monoids to ordered ad… (#174)