Sat, 05 Dec 2015 16:09:41 +0100 |
switched from Isabelle2014 to Isabelle2015, intermediate state
|
file | diff | annotate |
Sat, 11 Apr 2015 11:28:31 +0200 |
merged
|
file | diff | annotate |
Sat, 05 Apr 2014 17:52:29 +0100 |
ignore jedit mark files
|
file | diff | annotate |
Sat, 25 Jan 2014 16:55:52 +0100 |
reverted cb17feba74e0, avoid sweeping garbage under the carped (MaSh should not create .pyc files anymore, see also 778b2b8f4a35, 347f743e8336);
|
file | diff | annotate |
Mon, 25 Nov 2013 14:50:31 +0000 |
MaSH files should be ignored
|
file | diff | annotate |
Fri, 22 Nov 2013 20:37:19 +0100 |
more .hgignore;
|
file | diff | annotate |
Sat, 11 Apr 2015 10:24:21 +0200 |
\======== start migration Isabelle2013-2 --> Isabelle2014
|
file | diff | annotate |
Sat, 01 Feb 2014 16:58:27 +0100 |
Isabelle run scripts added to hgignore
|
file | diff | annotate |
Thu, 12 Dec 2013 14:27:37 +0100 |
merged
|
file | diff | annotate |
Thu, 12 Dec 2013 14:26:56 +0100 |
Isabelle2013-1 --> 2013-2: isac's hgignore copied into new Isabelle files
|
file | diff | annotate |
Wed, 20 Nov 2013 16:25:07 +0100 |
merged
|
file | diff | annotate |
Wed, 20 Nov 2013 15:45:22 +0100 |
Isabelle2013 --> 2013-1: isac's hgignore copied into new Isabelle files
|
file | diff | annotate |
Sun, 22 Sep 2013 15:04:27 +0100 |
.hgignore tuned
|
file | diff | annotate |
Tue, 17 Sep 2013 10:12:15 +0200 |
determined main-file for mlehnfeld's master thesis
|
file | diff | annotate |
Mon, 15 Jul 2013 07:50:28 +0200 |
tuned
|
file | diff | annotate |
Mon, 15 Jul 2013 06:05:32 +0200 |
tuned
|
file | diff | annotate |
Sun, 14 Jul 2013 14:48:14 +0200 |
merged
|
file | diff | annotate |
Sun, 14 Jul 2013 14:24:41 +0200 |
tuned
|
file | diff | annotate |
Sun, 14 Jul 2013 09:04:18 +0200 |
--- Isabelle's hgignore replaced by isac's hgignore
|
file | diff | annotate |
Tue, 28 Aug 2012 17:51:43 +0200 |
updated .hgignore to reflect to (almost) clean result of build_doc;
|
file | diff | annotate |
Tue, 14 Aug 2012 21:58:00 +0200 |
ignore some administrative files on newer Mercurial versions as well;
|
file | diff | annotate |
Sun, 14 Jul 2013 14:13:44 +0200 |
tuned
|
file | diff | annotate |
Wed, 12 Dec 2012 11:35:07 +0100 |
first push from cygwin
|
file | diff | annotate |
Tue, 04 Dec 2012 12:54:10 +0100 |
finished .hgignore for cygwin
|
file | diff | annotate |
Tue, 04 Dec 2012 11:35:40 +0100 |
trials with .hgignore for cygwin
|
file | diff | annotate |
Wed, 28 Nov 2012 11:27:19 +0100 |
.hgignore for cygwin
|
file | diff | annotate |
Mon, 24 Sep 2012 18:15:49 +0200 |
merged
|
file | diff | annotate |
Wed, 08 Jun 2011 22:06:05 +0200 |
simplified directory structure;
|
file | diff | annotate |
Wed, 08 Jun 2011 17:32:31 +0200 |
removed obsolete Netbeans project setup;
|
file | diff | annotate |
Sun, 01 May 2011 17:55:29 +0200 |
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
|
file | diff | annotate |
Tue, 31 Jul 2012 15:16:47 +0200 |
prepared for fun stepToErrorPatterns
|
file | diff | annotate |
Tue, 11 Oct 2011 18:16:22 +0200 |
bibliography envoriement for thesis and inclusion of temporary latex files in .hgignore
|
file | diff | annotate |
Fri, 23 Sep 2011 14:56:07 +0200 |
hgignore for documents in test
|
file | diff | annotate |
Wed, 27 Jul 2011 09:32:03 +0200 |
tuned
|
file | diff | annotate |
Fri, 22 Jul 2011 17:28:24 +0200 |
restore Isabelle setup completed
|
file | diff | annotate |
Fri, 22 Jul 2011 12:10:13 +0200 |
meeting 110722
|
file | diff | annotate |
Tue, 19 Jul 2011 10:44:27 +0200 |
intermed: presentation
|
file | diff | annotate |
Sun, 10 Jul 2011 17:31:45 +0200 |
added files r/Rational2
|
file | diff | annotate |
Sun, 10 Jul 2011 16:01:14 +0200 |
init dmeindl
|
file | diff | annotate |
Tue, 28 Jun 2011 17:08:22 +0200 |
tuned
|
file | diff | annotate |
Fri, 24 Jun 2011 19:45:48 +0200 |
renamed and configured jedit-project: testSD-jedit
|
file | diff | annotate |
Fri, 24 Jun 2011 18:31:56 +0200 |
tuned hgignore
|
file | diff | annotate |
Fri, 24 Jun 2011 18:30:34 +0200 |
tuned hgignore
|
file | diff | annotate |
Fri, 24 Jun 2011 18:25:40 +0200 |
changed hgignore
|
file | diff | annotate |
Thu, 23 Jun 2011 15:03:06 +0200 |
intermed: install isac-jedit
|
file | diff | annotate |
Thu, 16 Jun 2011 18:51:59 +0200 |
intermed. msteger bakk-presentation.tex
|
file | diff | annotate |
Wed, 15 Jun 2011 21:55:45 +0200 |
presentation and filestructure
|
file | diff | annotate |
Tue, 14 Jun 2011 18:03:14 +0200 |
intermed. msteger present
|
file | diff | annotate |
Fri, 27 May 2011 11:47:36 +0200 |
reformatted program ["Test","squ-equ-test-subpbl1"] for demo
|
file | diff | annotate |
Fri, 29 Apr 2011 12:53:46 +0200 |
added draft for presentation
|
file | diff | annotate |
Thu, 10 Mar 2011 15:16:13 +0100 |
intermed.update Isabelle2011:
|
file | diff | annotate |
Thu, 10 Mar 2011 15:12:55 +0100 |
intermed.update Isabelle2011: after fetch ?!?
|
file | diff | annotate |
Fri, 31 Dec 2010 14:58:03 +0100 |
tuned
|
file | diff | annotate |
Mon, 27 Dec 2010 10:38:49 +0100 |
added CTP-userinterfaces.bib
|
file | diff | annotate |
Wed, 24 Nov 2010 15:00:23 +0100 |
tuned
|
file | diff | annotate |
Tue, 23 Nov 2010 11:53:21 +0100 |
merged
|
file | diff | annotate |
Tue, 23 Nov 2010 08:58:24 +0100 |
changes in project files
|
file | diff | annotate |
Sat, 09 Oct 2010 16:04:19 +0200 |
tuned
|
file | diff | annotate |
Tue, 28 Sep 2010 13:06:26 +0200 |
changed .hgignore again
|
file | diff | annotate |
Tue, 28 Sep 2010 13:03:21 +0200 |
changed hgignore
|
file | diff | annotate |