sz332

public class Chessboard {

	private final int maxX;
	private final int maxY;

	public Chessboard(int maxX, int maxY) {
		this.maxX = maxX;
		this.maxY = maxY;
	}

sz332

---------------------------- MODULE statemachine ----------------------------
EXTENDS TLC, Sequences, Integers

(* --algorithm statemachine


fair process webProcess = 1
variables
    machineState = "Starting",
    run = TRUE;

sz332

<settings xmlns="http://maven.apache.org/SETTINGS/1.0.0"
  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
  xsi:schemaLocation="http://maven.apache.org/SETTINGS/1.0.0
                      http://maven.apache.org/xsd/settings-1.0.0.xsd">

  <activeProfiles>
    <activeProfile>github</activeProfile>
  </activeProfiles>

  <profiles>

sz332

----- Esc -----
Quick change directory: Esc + c
Quick change directory history: Esc + c and then Esc + h
Quick change directory previous entry: Esc + c and then Esc + p
Command line history: Esc + h
Command line previous command: Esc + p
View change: Esc + t (each time you do this shortcut a new directory view will appear)
Print current working directory in command line: Esc + a
Switch between background command line and MC: Ctrl + o
Search/Go to directory in active panel: Esc + s / Ctrl + s then start typing directory name