Release Notes
4.1 v.2.4.1
4.2 v.2.4.0
4.3 v.2.5.0
4.4 v.2.5.1
4.5 v.2.5.2
4.6 v.2.5.3
4.7 v.2.5.4
4.8 v.2.5.5
4.9 v.2.5.6
4.10 v.2.5.7
4.11 v.2.5.8
4.12 v.3.0.0
4.13 v.3.0.1
4.14 v.3.0.2
4.15 v.3.0.3
4.16 v.3.0.4
4.17 v.3.0.6
3.0.10 (HEAD-8fd80004)

4.13 v.3.0.1

Summary:
  • Backend pseudoterminal support.

  • Assignment downloading bugfix.

  • Generating bytecode files with seashell-cli bugfix.

  • Skeleton file list CGI script updated.

  • Build tools to simplify installation.

  • Various other bugfixes.