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 |
Sat, 25 Sep 2010 13:50:30 +0200 |
little changes in the nb-project
|
file | diff | annotate |
Sat, 25 Sep 2010 12:48:41 +0200 |
changed .hgignore
|
file | diff | annotate |
Sat, 25 Sep 2010 11:51:58 +0200 |
changes in .hgignore
|
file | diff | annotate |
Tue, 31 Aug 2010 21:03:11 +0200 |
Changed src/Tools/isac/jeditC directory
|
file | diff | annotate |
Mon, 30 Aug 2010 22:28:09 +0200 |
Isac-NB-Changes
|
file | diff | annotate |
Wed, 18 Aug 2010 13:40:09 +0200 |
established thy-ctxt strategy (1..2) for ME/mstools.sml
|
file | diff | annotate |
Thu, 12 Aug 2010 11:29:05 +0200 |
merged
|
file | diff | annotate |
Thu, 05 Aug 2010 15:19:48 +0200 |
resolve switching branches
|
file | diff | annotate |
Thu, 05 Aug 2010 14:27:25 +0200 |
preparing to switch branch (correcting last merge)
|
file | diff | annotate |
Thu, 05 Aug 2010 11:21:36 +0200 |
added KDE-extensions to hgignore
|
file | diff | annotate |
Mon, 26 Jul 2010 14:46:45 +0200 |
translation until chapter 6
|
file | diff | annotate |
Fri, 23 Jul 2010 11:45:15 +0200 |
started branch latex-isac-doc by alexandra & eva
|
file | diff | annotate |
Wed, 21 Jul 2010 13:53:39 +0200 |
added isac-hook in Pure/thm and isac-code
|
file | diff | annotate |
Mon, 11 Jan 2010 22:44:21 +0100 |
ignore some src/Tools/jEdit stuff;
|
file | diff | annotate |