| 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 |
| Fri, 03 Jul 2009 20:37:14 +0200 |
more hgignore;
|
file | diff | annotate |
| Tue, 16 Jun 2009 16:37:58 +0200 |
ignore in-situ contrib symlinks
|
file | diff | annotate |
| Mon, 01 Dec 2008 22:00:38 +0100 |
ignore aux stuff in doc-src;
|
file | diff | annotate |
| Sat, 29 Nov 2008 19:20:12 +0100 |
more .hgignore entries;
|
file | diff | annotate |
| Sat, 29 Nov 2008 18:26:53 +0100 |
basic setup of .hgignore;
|
file | diff | annotate |