| Fri, 16 Jul 2021 11:36:24 +0200 | wenzelm | redundant: *.class and *.jar are already ignored; | file | diff | annotate |
| Thu, 15 Jul 2021 16:35:45 +0200 | wenzelm | build.props for isabelle.jar, including isabelle.jedit; | file | diff | annotate |
| Tue, 28 Jan 2020 20:26:23 +0100 | wenzelm | ignore generated dependency files (see 91d5a8255c98, fd5cd1daf6a9); | file | diff | annotate |
| Mon, 12 Jun 2017 15:20:07 +0200 | wenzelm | obsolete; | file | diff | annotate |
| Sat, 06 May 2017 19:42:49 +0200 | wenzelm | obsolete; | file | diff | annotate |
| Mon, 19 Dec 2016 20:27:49 +0100 | wenzelm | basic support for VSCode Language Server protocol; | file | diff | annotate |
| Wed, 14 Sep 2016 16:24:51 +0200 | Lars Hupel | ignore default output directory of 'build_stats' tool | file | diff | annotate |