From 34a77336497cd15ce5f005639d758f002c234d00 Mon Sep 17 00:00:00 2001
From: Florian Cassayre <florian.cassayre@gmail.com>
Date: Fri, 24 Jun 2022 07:37:26 +0200
Subject: [PATCH] Release 1.0.0

---
 .github/workflows/release.yml             | 2 +-
 README.md                                 | 1 +
 build.sbt                                 | 2 +-
 thesis/report/chapters/1-introduction.tex | 2 +-
 4 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 298c6dc..ccde287 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -42,10 +42,10 @@ jobs:
           root_file: thesis.tex
           args: -pdf -file-line-error -halt-on-error -interaction=nonstopmode -shell-escape
           extra_system_packages: inkscape
+      - run: mv thesis/report/thesis.pdf thesis.pdf
       - name: Upload the artifacts
         uses: skx/github-action-publish-binaries@master
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         with:
-          working_directory: thesis/report
           args: thesis.pdf
diff --git a/README.md b/README.md
index 2eb02a7..4068007 100644
--- a/README.md
+++ b/README.md
@@ -61,6 +61,7 @@ The table below indicates the version compatibility (= value of `$COMMIT`):
 
 | `master-project` |                   `lisa`                   |
 |:----------------:|:------------------------------------------:|
+|     `1.0.0`      | `3ae1c204df54e780ab7565070575b421b119f684` |
 |     `0.2.0`      | `eacb9c06aa2975b9ae2bc993847c597eb3c54995` | 
 |     `0.1.0`      | `eacb9c06aa2975b9ae2bc993847c597eb3c54995` |
 
diff --git a/build.sbt b/build.sbt
index d9f3fe7..03a093f 100644
--- a/build.sbt
+++ b/build.sbt
@@ -3,7 +3,7 @@ lazy val root = (project in file("."))
     commonSettings,
     name := "master-project",
     organization := "me.cassayre.florian",
-    version := "0.2.0",
+    version := "1.0.0",
     versionScheme := Some("semver-spec"),
     scalaVersion := "3.2.1-RC1-bin-20220619-4cb967f-NIGHTLY",
     scalacOptions ++= Seq(
diff --git a/thesis/report/chapters/1-introduction.tex b/thesis/report/chapters/1-introduction.tex
index 1e5a938..1fdd966 100644
--- a/thesis/report/chapters/1-introduction.tex
+++ b/thesis/report/chapters/1-introduction.tex
@@ -5,7 +5,7 @@ \section{Introduction}
 
 In this thesis we describe the design process of a front-end for the modern proof assistant LISA. Our main focus is to preserve the same soundness standards as the existing framework while making it more expressive and interactive. The supporting source code for this project is published at the following address:
 \begin{center}
-\href{http://github.com/FlorianCassayre/master-project}{\textbf{github.com/FlorianCassayre/master-project}}\footnote{The current release is identified by commit number: \code{30b0c340e94c6e981d3115c554ab9bc97f8b8971}}
+\href{http://github.com/FlorianCassayre/master-project}{\textbf{github.com/FlorianCassayre/master-project}}\footnote{The current release is identified by commit number: \code{868c750de37171e524612673bbed6058dadaa8bb}}
 \end{center}
 
 \subsection{LISA}