TLA web frontend.

Usage

Prerequisites:

• Java 11
• tla-es

Install, populate, and run the backend first.

Run the frontend application using the bootRun task from the spring boot gradle plugin (on windows, you will probably need to use the native wrapper ./gradlew.bat instead):

gradle bootrun

On its first run, this will download and install third-party JS/CSS frameworks and libraries such as Bootstrap, Font Awesome, and JQuery. In order to override the respective default bundle versions of some of these, you can use the environment variables shown in .env.template, e.g. by defining them in a .env file:

BOOTSTRAP_VERSION=4.4.1
FONTAWESOME_VERSION=5.12.1
JQUERY_VERSION=3.5.0

However, this is of course optional as default versions are being defined in the build file.

Misc

You can check for the newest version of package dependencies by running:

gradle dependencyUpdates