src/Doc/JEdit/document/isabelle-jedit.png
Fri, 05 Apr 2019 14:08:39 +0200 wenzelm updated screenshot;
Tue, 12 Jan 2016 19:58:17 +0100 wenzelm updated old screenshots, added new screenshots;
Fri, 01 May 2015 00:27:04 +0200 wenzelm updated screenshots;
Fri, 06 Jun 2014 12:10:33 +0200 wenzelm updated screenshots;
Sat, 21 Sep 2013 17:08:47 +0200 wenzelm added canonical screenshot;
less more (0) tip