Skip to content

Commit

Permalink
[ agda#6055, 2.6.3 RC3 ] CHANGELOG: Updated the links to Read the Docs.
Browse files Browse the repository at this point in the history
[ci skip]
  • Loading branch information
asr authored and JobPetrovcic committed Apr 5, 2024
1 parent 1d02d28 commit 278ca4b
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -124,6 +124,7 @@ Interaction and emacs mode
<<<<<<< HEAD
<<<<<<< HEAD
<<<<<<< HEAD
<<<<<<< HEAD
Backends
=======
* Agsy ([automatic proof search](https://agda.readthedocs.io/en/v2.6.2.2.20221106/tools/auto.html)) can
Expand All @@ -136,6 +137,9 @@ Backends
=======
* Agsy ([automatic proof search](https://agda.readthedocs.io/en/latest/tools/auto.html)) can
>>>>>>> cfb58c8ee (Revert "[ #6055, CHANGELOG ] latest -> v20221128.")
=======
* Agsy ([automatic proof search](https://agda.readthedocs.io/en/v2.6.2.2.20230105/tools/auto.html)) can
>>>>>>> b0a9a4dc2 ([ #6055, 2.6.3 RC3 ] CHANGELOG: Updated the links to Read the Docs.)
now be invoked in the right-hand-sides of copattern matching clauses.
([#5827](https://github.com/agda/agda/pull/5827))

Expand Down

0 comments on commit 278ca4b

Please sign in to comment.