Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 14, 2023

• Fix link to proof search page

  valis

  committed
  fb22bbe

  Copy full SHA for fb22bbe

Commits on Dec 4, 2022

• Add 1.9 release post

  valis

  committed
  ca14450

  Copy full SHA for ca14450

Commits on Jun 10, 2022

• Merge pull request arend-lang#28 from knisht/ps-fix

  Show description for abad4b4
  valis

  authored
  abad4b4

  Copy full SHA for abad4b4

• Merge pull request arend-lang#27 from knisht/ij-features

  Show description for 913fca9
  valis

  authored
  913fca9

  Copy full SHA for 913fca9

Commits on May 30, 2022

• Fix link to the proof search demo

  knisht

  committed
  85a111b

  Copy full SHA for 85a111b

• Improve the "Features of intellij-arend" page

  knisht

  committed
  14a0e86

  Copy full SHA for 14a0e86

Commits on May 5, 2022

• Update 1.8 release post

  valis

  committed
  aade08d

  Copy full SHA for aade08d

Commits on Apr 30, 2022

• Merge pull request arend-lang#26 from knisht/master

  Show description for 5b4e1a5
  valis

  authored
  5b4e1a5

  Copy full SHA for 5b4e1a5

Commits on Apr 28, 2022

• Add revealing in the release notes

  knisht

  committed
  5e7e6da

  Copy full SHA for 5e7e6da

Commits on Apr 27, 2022

• Add video for Arend Messages

  marat-rkh

  committed
  1e18807

  Copy full SHA for 1e18807

Commits on Apr 21, 2022

• Add videos

  marat-rkh

  committed
  1467caf

  Copy full SHA for 1467caf

Commits on Apr 19, 2022

• Merge pull request arend-lang#25 from knisht/master

  Show description for abd9ec4
  valis

  authored
  abd9ec4

  Copy full SHA for abd9ec4

Commits on Apr 18, 2022

• Refine documentation of Proof Search

  knisht

  committed
  abc500f

  Copy full SHA for abc500f

• Fix inconsistencies in proof search docs

  knisht

  committed
  6ee51c8

  Copy full SHA for 6ee51c8

Commits on Apr 15, 2022

• Add 1.8 release post

  marat-rkh

  committed
  5f03018

  Copy full SHA for 5f03018

Commits on Feb 28, 2022

• Merge pull request arend-lang#24 from knisht/master

  Show description for 9d9b0c1
  valis

  authored
  9d9b0c1

  Copy full SHA for 9d9b0c1

Commits on Feb 27, 2022

• Rewrite the documentation for Proof Search

  knisht

  committed
  a0ad721

  Copy full SHA for a0ad721

Commits on Feb 14, 2022

• Merge pull request arend-lang#23 from knisht/master

  Show description for 545dd7c
  valis

  authored
  545dd7c

  Copy full SHA for 545dd7c

Commits on Feb 13, 2022

• Grammar fixes

  knisht

  committed
  924279c

  Copy full SHA for 924279c

• Add documentation for Signature Search

  knisht

  committed
  c07d697

  Copy full SHA for c07d697

Commits on Feb 8, 2022

• Mention IntelliJ Arend tutorial in the post, "getting started", and "documentation" sections

  marat-rkh

  committed
  14860ec

  Copy full SHA for 14860ec

• Add IntelliJ Arend tutorial

  marat-rkh

  committed
  5d9011b

  Copy full SHA for 5d9011b

Commits on Jan 28, 2022

• Enable Google Tag Manager in all pages

  marat-rkh

  committed
  92f7c70

  Copy full SHA for 92f7c70

• Copy default layout from the sources of Minimal Mistakes to our project

  Show description for c33e13c
  marat-rkh

  committed
  c33e13c

  Copy full SHA for c33e13c

Commits on Jan 20, 2022

• Fix typo

  marat-rkh

  authored
  031c42c

  Copy full SHA for 031c42c

Commits on Jan 17, 2022

• Fix the link to the video

  marat-rkh

  committed
  70ccfc3

  Copy full SHA for 70ccfc3

Commits on Nov 3, 2021

• Merge pull request arend-lang#20 from winestone/master

  Show description for 30177ad
  valis

  authored
  30177ad

  Copy full SHA for 30177ad

• Slight grammar/wording improvements

  winestone

  committed
  18d1386

  Copy full SHA for 18d1386

Commits on Sep 6, 2021

• Add description of nil and ::

  valis

  committed
  d968b26

  Copy full SHA for d968b26

• Add description of new language features

  valis

  committed
  b85f13d

  Copy full SHA for b85f13d

• Merge branch 'master' into release1.17

  valis

  committed
  7ede62d

  Copy full SHA for 7ede62d

• Add description for rewriteEq

  part-xx

  committed
  a7c6697

  Copy full SHA for a7c6697

Commits on Sep 2, 2021

• Add description for "Generate function"

  marat-rkh

  committed
  a99ae4c

  Copy full SHA for a99ae4c

Commits on Sep 1, 2021

• Update instance-inference-fixes.gif

  marat-rkh

  committed
  dfd0a8c

  Copy full SHA for dfd0a8c

Commits on Aug 30, 2021

• Remove TODO

  marat-rkh

  committed
  ec69c06

  Copy full SHA for ec69c06

Pagination

Previous

Next