isagpl

isagpl

GNU GPL Free graph browser in java

This are the java sources of the graph browser from
the isabelle project software as GNU GPL Free software

These files are found in this old archive from 1994 in isabelle-Isabelle2004_0.tar.gz
This is the isabelle version of the release "Isabelle2004 (April 2004)" from 19 april 2004 This version is available from their git repo sourcecode as older version releases

The file headers have this copyright statement

Copyright 2003 TU Muenchen
License: GPL (GNU GENERAL PUBLIC LICENSE)

This means that these sources of this specific isabelle version can be used,
recompiled, studied, improved, shared and updated as GNU GPL Free software

This is a basic graphviewer in a small amount of java which makes it extra interesting
This is a sugiyama barycenter algorithm with a pendulum method algorithm
The directory browser has the original unmodified java sources

and it looks like this

Because other isabelle versions have a different license
only these files from this specific isabelle 2004 version
can be used as GNU GPL Free java source code

SPDX-License-Identifier: GPL-2.0
License-Filename: LICENSE