diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-06-24 13:57:23 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-06-24 13:57:23 +0000 |
commit | ade08e623bd50a8206bd958030d4d44900e0141d (patch) | |
tree | 4a017e5666f9a87abce6aa08952afb196d43951b /html | |
parent | 2f28616afde584a606f17dcda58dd1ccb169e90a (diff) |
New images
Diffstat (limited to 'html')
-rw-r--r-- | html/images/IsaPGscreen.jpg | bin | 0 -> 50670 bytes |
-rw-r--r-- | html/images/ProofGeneral.jpg | bin | 0 -> 12002 bytes |
-rw-r--r-- | html/images/bullethole.gif | bin | 0 -> 1019 bytes |
-rw-r--r-- | html/images/canvaswallpaper.jpg | bin | 0 -> 3354 bytes |
-rw-r--r-- | html/images/coq-badge.gif | bin | 0 -> 3174 bytes |
-rw-r--r-- | html/images/isabelle-badge.gif | bin | 0 -> 4674 bytes |
-rw-r--r-- | html/images/lego-badge.gif | bin | 0 -> 3925 bytes |
-rw-r--r-- | html/images/pg-text.gif | bin | 0 -> 13428 bytes |
-rw-r--r-- | html/images/vh40.gif | bin | 0 -> 906 bytes |
9 files changed, 0 insertions, 0 deletions
diff --git a/html/images/IsaPGscreen.jpg b/html/images/IsaPGscreen.jpg Binary files differnew file mode 100644 index 00000000..5e2dda74 --- /dev/null +++ b/html/images/IsaPGscreen.jpg diff --git a/html/images/ProofGeneral.jpg b/html/images/ProofGeneral.jpg Binary files differnew file mode 100644 index 00000000..6d5bfbfe --- /dev/null +++ b/html/images/ProofGeneral.jpg diff --git a/html/images/bullethole.gif b/html/images/bullethole.gif Binary files differnew file mode 100644 index 00000000..c4447471 --- /dev/null +++ b/html/images/bullethole.gif diff --git a/html/images/canvaswallpaper.jpg b/html/images/canvaswallpaper.jpg Binary files differnew file mode 100644 index 00000000..14e28f41 --- /dev/null +++ b/html/images/canvaswallpaper.jpg diff --git a/html/images/coq-badge.gif b/html/images/coq-badge.gif Binary files differnew file mode 100644 index 00000000..901e7645 --- /dev/null +++ b/html/images/coq-badge.gif diff --git a/html/images/isabelle-badge.gif b/html/images/isabelle-badge.gif Binary files differnew file mode 100644 index 00000000..8da95453 --- /dev/null +++ b/html/images/isabelle-badge.gif diff --git a/html/images/lego-badge.gif b/html/images/lego-badge.gif Binary files differnew file mode 100644 index 00000000..182ad85f --- /dev/null +++ b/html/images/lego-badge.gif diff --git a/html/images/pg-text.gif b/html/images/pg-text.gif Binary files differnew file mode 100644 index 00000000..046fe760 --- /dev/null +++ b/html/images/pg-text.gif diff --git a/html/images/vh40.gif b/html/images/vh40.gif Binary files differnew file mode 100644 index 00000000..c5e9402e --- /dev/null +++ b/html/images/vh40.gif |