| Wed, 15 Jun 2005 18:31:02 +0200 |
wneuper |
java: isac.util.tactics .. end renamed, formatted, inst_var_, import cleaned
java_rename_format
|
changeset |
files
|
| Wed, 19 Aug 2009 10:21:06 +0200 |
wneuper |
SML base for migration Isabelle2002 --> Isabelle2009
|
changeset |
files
|
| Mon, 09 Mar 2009 12:14:56 +0100 |
wneuper |
Compod: minor improvement suggested by AB
|
changeset |
files
|
| Fri, 06 Mar 2009 16:23:40 +0100 |
wneuper |
Compod isac-side finished; agreed on exp_id with AB+AN
|
changeset |
files
|
| Fri, 13 Feb 2009 12:14:56 +0100 |
wneuper |
Compod isac-side finished; ugly calls from Session (additional to former ExampleDialog); last example in the list of test-examples doesnt call notifyObjectResult, probable reason: mutual recursive pointers between Session -- ExampleDialog -- UserLogger (see constructor of Session).
|
changeset |
files
|
| Wed, 11 Feb 2009 16:19:39 +0100 |
wneuper |
Compod#notifyObjectResult part 1
|
changeset |
files
|
| Tue, 18 Nov 2008 16:34:39 +0100 |
wneuper |
initial 2 steps for "Widerspruch 3 = 777"; needed extending Substitute for "?z"
|
changeset |
files
|
| Tue, 28 Oct 2008 15:16:31 +0100 |
wneuper |
d_d x (x^2 + x + 1) now works with inform PERFECT (1st tac in script need not be some rewrite, in order to allow >NEW>)
|
changeset |
files
|
| Mon, 22 Sep 2008 17:28:37 +0200 |
wneuper |
d_d x (x^2 + x + 1) now works with inform for presentation
|
changeset |
files
|
| Fri, 12 Sep 2008 11:17:20 +0200 |
wneuper |
new setup of isabelle at IST
|
changeset |
files
|
| Mon, 25 Aug 2008 14:05:21 +0200 |
wneuper |
adding GenHTMLsingle; works; GenHTML, too
|
changeset |
files
|
| Sun, 24 Aug 2008 20:19:56 +0200 |
wneuper |
adding GenHTMLsingle; still problems with GenHTML.destination_
|
changeset |
files
|
| Sun, 24 Aug 2008 13:03:12 +0200 |
wneuper |
new isabelle installation at IST
|
changeset |
files
|
| Thu, 15 May 2008 09:20:31 +0200 |
wneuper |
comments on installation problems with sub-nets
|
changeset |
files
|
| Wed, 14 May 2008 12:22:45 +0200 |
wneuper |
made link-targets within a page work (eg. #Grundlagen_1
|
changeset |
files
|
| Mon, 24 Mar 2008 17:42:29 +0100 |
wneuper |
MMs seminar/project finished
|
changeset |
files
|
| Mon, 24 Mar 2008 17:39:54 +0100 |
wneuper |
MMs seminar/project finished
|
changeset |
files
|
| Mon, 24 Mar 2008 17:34:31 +0100 |
wneuper |
corrected new_c such that rew_sub goes into sub-terms with cond.rew.
|
changeset |
files
|
| Mon, 24 Mar 2008 17:20:15 +0100 |
wneuper |
MMs seminar/project finished
|
changeset |
files
|
| Mon, 24 Mar 2008 17:12:21 +0100 |
wneuper |
MMs sem/proj finished
|
changeset |
files
|
| Mon, 24 Mar 2008 17:09:49 +0100 |
wneuper |
MMs sem/proj finished
|
changeset |
files
|
| Mon, 24 Mar 2008 17:00:59 +0100 |
wneuper |
MMs sem/proj finished
|
changeset |
files
|
| Mon, 24 Mar 2008 16:47:01 +0100 |
wneuper |
MMs sem/proj finished
|
changeset |
files
|
| Mon, 24 Mar 2008 16:40:17 +0100 |
wneuper |
MMs sem/proj finished
|
changeset |
files
|
| Mon, 24 Mar 2008 16:28:50 +0100 |
wneuper |
MMs sem/proj finished
|
changeset |
files
|
| Mon, 24 Mar 2008 16:22:40 +0100 |
wneuper |
comment for Compod
|
changeset |
files
|
| Fri, 22 Feb 2008 16:56:31 +0100 |
wneuper |
re-activate Integral.add_new_c, Cal1 added, tests OK, new code intermediate
|
changeset |
files
|
| Thu, 21 Feb 2008 17:09:19 +0100 |
wneuper |
rearranged method for equation
|
changeset |
files
|
| Thu, 21 Feb 2008 16:48:59 +0100 |
wneuper |
Tactic#showToBeginner theorems, finished.
|
changeset |
files
|
| Thu, 21 Feb 2008 14:19:57 +0100 |
wneuper |
Tactic#showToBeginner theorems, intermed.
|
changeset |
files
|
| Thu, 21 Feb 2008 11:50:28 +0100 |
wneuper |
Tactic#showToBeginner theorems, intermed.
|
changeset |
files
|
| Thu, 21 Feb 2008 09:39:15 +0100 |
wneuper |
strange conflicts on doc/bib, doc/fig;
|
changeset |
files
|
| Mon, 11 Feb 2008 11:11:25 +0100 |
mmoschit |
Updated BIB file
|
changeset |
files
|
| Mon, 11 Feb 2008 11:07:56 +0100 |
mmoschit |
Removed .png files and moved MM.bib to /bib/
|
changeset |
files
|
| Mon, 11 Feb 2008 11:05:06 +0100 |
mmoschit |
Added abstract page, citation and layout changes
|
changeset |
files
|
| Sun, 10 Feb 2008 17:12:01 +0100 |
mmoschit |
MM bib
|
changeset |
files
|
| Sun, 10 Feb 2008 17:06:51 +0100 |
mmoschit |
Some changes in style, layout, bib, etc
|
changeset |
files
|
| Sun, 10 Feb 2008 17:06:17 +0100 |
mmoschit |
*** empty log message ***
|
changeset |
files
|
| Thu, 17 Jan 2008 19:54:16 +0100 |
wneuper |
meeting MM & WN
|
changeset |
files
|
| Thu, 17 Jan 2008 18:18:12 +0100 |
mmoschit |
EPS files
|
changeset |
files
|
| Thu, 17 Jan 2008 18:12:30 +0100 |
mmoschit |
BIB File for S/P Report
|
changeset |
files
|
| Thu, 17 Jan 2008 16:27:03 +0100 |
wneuper |
start-work-070517 merged into HEAD
|
changeset |
files
|
| Thu, 17 May 2007 14:05:19 +0200 |
wneuper |
IUIElement deprecated since UIElement is 'enum'
Root_start-work-070517 save-head-080117 working-version-070517
|
changeset |
files
|
| Thu, 17 May 2007 12:31:32 +0200 |
wneuper |
sml: diff -n , -n/m intermediate
|
changeset |
files
|
| Thu, 10 May 2007 11:06:34 +0200 |
wneuper |
speed up Biegelinie with filter_sameFunId
|
changeset |
files
|
| Thu, 10 May 2007 11:06:34 +0200 |
wneuper |
speed up Biegelinie with filter_sameFunId
|
changeset |
files
|
| Thu, 10 May 2007 11:06:34 +0200 |
wneuper |
speed up Biegelinie with filter_sameFunId
|
changeset |
files
|
| Thu, 03 May 2007 10:33:00 +0200 |
wneuper |
setup with team summer 07
|
changeset |
files
|
| Fri, 20 Apr 2007 07:39:00 +0200 |
gkompach |
bachelor thesis - final version
|
changeset |
files
|
| Thu, 19 Apr 2007 14:31:48 +0200 |
wneuper |
all changes for 'HTL-RMI' 0704 should be marked the same way
|
changeset |
files
|
| Thu, 19 Apr 2007 14:18:59 +0200 |
wneuper |
for setup 0704
|
changeset |
files
|
| Thu, 12 Apr 2007 16:11:11 +0200 |
wneuper |
after Poly.thy is among the ancestors of AlgEin.thy, the methods work also with norm_Poly (instead norm_Rational)
|
changeset |
files
|
| Tue, 10 Apr 2007 23:45:07 +0200 |
nsimic |
*** empty log message ***
|
changeset |
files
|
| Tue, 10 Apr 2007 20:41:56 +0200 |
gkompach |
first draft of bachelor thesis GK
|
changeset |
files
|
| Tue, 10 Apr 2007 20:36:28 +0200 |
gkompach |
GK undo changes
|
changeset |
files
|
| Tue, 10 Apr 2007 17:53:11 +0200 |
wneuper |
updates during meeting GK WN
|
changeset |
files
|
| Tue, 10 Apr 2007 17:53:11 +0200 |
wneuper |
updates during meeting GK WN
|
changeset |
files
|
| Tue, 10 Apr 2007 16:46:45 +0200 |
wneuper |
included experiences from new method 'Rechnen'
|
changeset |
files
|
| Tue, 10 Apr 2007 13:54:39 +0200 |
gkompach |
first draft of bachelor thesis GK
|
changeset |
files
|
| Tue, 10 Apr 2007 13:54:39 +0200 |
gkompach |
first draft of bachelor thesis GK
|
changeset |
files
|