Revert "[ agda#6055, 2.6.3 RC3 ] CHANGELOG: Updated the links to Read…

… the Docs." This reverts commit b0a9a4d.
JobPetrovcic · Apr 5, 2024 · e321b7d · e321b7d
1 parent 0595f3a
commit e321b7d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -125,6 +125,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
@@ -140,6 +141,9 @@ Backends
 =======
 * 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.)
+=======
+* Agsy ([automatic proof search](https://agda.readthedocs.io/en/latest/tools/auto.html)) can
+>>>>>>> 63286ad99 (Revert "[ #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))