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

Commits on Dec 4, 2022

• Add 1.9 release post

  valis

  committed
  ca14450

Commits on Jun 10, 2022

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

  valis

  authored
  abad4b4

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

  valis

  authored
  913fca9

Commits on May 30, 2022

• Fix link to the proof search demo

  knisht

  committed
  85a111b

• Improve the "Features of intellij-arend" page

  knisht

  committed
  14a0e86

Commits on May 5, 2022

• Update 1.8 release post

  valis

  committed
  aade08d

Commits on Apr 30, 2022

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

  valis

  authored
  5b4e1a5

Commits on Apr 28, 2022

• Add revealing in the release notes

  knisht

  committed
  5e7e6da

Commits on Apr 27, 2022

• Add video for Arend Messages

  marat-rkh

  committed
  1e18807

Commits on Apr 21, 2022

• Add videos

  marat-rkh

  committed
  1467caf

Commits on Apr 19, 2022

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

  valis

  authored
  abd9ec4

Commits on Apr 18, 2022

• Refine documentation of Proof Search

  knisht

  committed
  abc500f

• Fix inconsistencies in proof search docs

  knisht

  committed
  6ee51c8

Commits on Apr 15, 2022

• Add 1.8 release post

  marat-rkh

  committed
  5f03018

Commits on Feb 28, 2022

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

  valis

  authored
  9d9b0c1

Commits on Feb 27, 2022

• Rewrite the documentation for Proof Search

  knisht

  committed
  a0ad721

Commits on Feb 14, 2022

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

  valis

  authored
  545dd7c

Commits on Feb 13, 2022

• Grammar fixes

  knisht

  committed
  924279c

• Add documentation for Signature Search

  knisht

  committed
  c07d697

Commits on Feb 8, 2022

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

  marat-rkh

  committed
  14860ec

• Add IntelliJ Arend tutorial

  marat-rkh

  committed
  5d9011b

Commits on Jan 28, 2022

• Enable Google Tag Manager in all pages

  marat-rkh

  committed
  92f7c70

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

  marat-rkh

  committed
  c33e13c

Commits on Jan 20, 2022

• Fix typo

  marat-rkh

  authored
  031c42c

Commits on Jan 17, 2022

• Fix the link to the video

  marat-rkh

  committed
  70ccfc3

Commits on Nov 3, 2021

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

  valis

  authored
  30177ad

• Slight grammar/wording improvements

  winestone

  committed
  18d1386

Commits on Sep 6, 2021

• Add description of nil and ::

  valis

  committed
  d968b26

• Add description of new language features

  valis

  committed
  b85f13d

• Merge branch 'master' into release1.17

  valis

  committed
  7ede62d

• Add description for rewriteEq

  part-xx

  committed
  a7c6697

Commits on Sep 2, 2021

• Add description for "Generate function"

  marat-rkh

  committed
  a99ae4c

Commits on Sep 1, 2021

• Update instance-inference-fixes.gif

  marat-rkh

  committed
  dfd0a8c

Commits on Aug 30, 2021

• Remove TODO

  marat-rkh

  committed
  ec69c06

Pagination

PreviousNext