| Fri, 22 Jul 2011 17:28:24 +0200 |
Walther Neuper |
restore Isabelle setup completed
decompose-isar
|
changeset |
files
|
| Fri, 22 Jul 2011 17:09:35 +0200 |
Alexander Kargl |
restore Isabelle setup
decompose-isar
|
changeset |
files
|
| Fri, 22 Jul 2011 15:57:36 +0200 |
Alexander Kargl |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
decompose-isar
|
changeset |
files
|
| Fri, 22 Jul 2011 15:57:22 +0200 |
Alexander Kargl |
intermed: uncomment tests
decompose-isar
|
changeset |
files
|
| Fri, 22 Jul 2011 15:55:15 +0200 |
Walther Neuper |
session with tleh
decompose-isar
|
changeset |
files
|
| Fri, 22 Jul 2011 14:01:52 +0200 |
Thomas Leh |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
decompose-isar
|
changeset |
files
|
| Fri, 22 Jul 2011 14:01:09 +0200 |
Thomas Leh |
tuned
decompose-isar
|
changeset |
files
|
| Fri, 22 Jul 2011 12:10:21 +0200 |
Walther Neuper |
merged
decompose-isar
|
changeset |
files
|
| Fri, 22 Jul 2011 12:10:13 +0200 |
Walther Neuper |
meeting 110722
decompose-isar
|
changeset |
files
|
| Fri, 22 Jul 2011 12:07:01 +0200 |
Jan Rocnik |
tuned
decompose-isar
|
changeset |
files
|
| Fri, 22 Jul 2011 10:26:39 +0200 |
jrocnik |
tuned
decompose-isar
|
changeset |
files
|
| Fri, 22 Jul 2011 10:22:02 +0200 |
Walther Neuper |
merged
decompose-isar
|
changeset |
files
|
| Fri, 22 Jul 2011 10:21:49 +0200 |
Walther Neuper |
added Test...thy for telematik
decompose-isar
|
changeset |
files
|
| Fri, 22 Jul 2011 10:20:24 +0200 |
jrocnik |
tuned
decompose-isar
|
changeset |
files
|
| Fri, 22 Jul 2011 10:17:31 +0200 |
jrocnik |
tuned
decompose-isar
|
changeset |
files
|
| Fri, 22 Jul 2011 10:16:40 +0200 |
jrocnik |
merged
decompose-isar
|
changeset |
files
|
| Thu, 21 Jul 2011 12:31:11 +0200 |
jrocnik |
jrocnik present update
decompose-isar
|
changeset |
files
|
| Thu, 21 Jul 2011 12:28:32 +0200 |
jrocnik |
Merge
decompose-isar
|
changeset |
files
|
| Thu, 21 Jul 2011 12:28:05 +0200 |
jrocnik |
Merge
decompose-isar
|
changeset |
files
|
| Thu, 21 Jul 2011 12:27:26 +0200 |
jrocnik |
Merge
decompose-isar
|
changeset |
files
|
| Thu, 21 Jul 2011 12:05:10 +0200 |
jrocnik |
testing hg on cygwin/windows. no relevant changes
decompose-isar
|
changeset |
files
|
| Thu, 21 Jul 2011 11:56:51 +0200 |
jrocnik |
testing hg, no relevant changes
decompose-isar
|
changeset |
files
|
| Tue, 19 Jul 2011 10:45:15 +0200 |
jrocnik |
Automated merge with https://intra.ist.tugraz.at/hg/isa
decompose-isar
|
changeset |
files
|
| Tue, 19 Jul 2011 10:44:27 +0200 |
jrocnik |
intermed: presentation
decompose-isar
|
changeset |
files
|
| Thu, 21 Jul 2011 17:04:04 +0200 |
Walther Neuper |
merged
decompose-isar
|
changeset |
files
|
| Thu, 21 Jul 2011 17:03:45 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Thu, 21 Jul 2011 16:57:30 +0200 |
Alexander Kargl |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
decompose-isar
|
changeset |
files
|
| Thu, 21 Jul 2011 16:57:21 +0200 |
Alexander Kargl |
intermed: uncomment test
decompose-isar
|
changeset |
files
|
| Thu, 21 Jul 2011 16:47:34 +0200 |
Walther Neuper |
prepliminary bakk
decompose-isar
|
changeset |
files
|
| Thu, 21 Jul 2011 15:07:26 +0200 |
n.n. |
test
decompose-isar
|
changeset |
files
|
| Thu, 21 Jul 2011 12:01:56 +0200 |
Walther Neuper |
merged
decompose-isar
|
changeset |
files
|
| Thu, 21 Jul 2011 11:55:38 +0200 |
Walther Neuper |
finished test/../interface.sml
decompose-isar
|
changeset |
files
|
| Thu, 21 Jul 2011 11:19:01 +0200 |
Thomas Leh |
tuned
decompose-isar
|
changeset |
files
|
| Thu, 21 Jul 2011 11:15:01 +0200 |
Thomas Leh |
tuned
decompose-isar
|
changeset |
files
|
| Thu, 21 Jul 2011 11:13:48 +0200 |
Thomas Leh |
tuned
decompose-isar
|
changeset |
files
|
| Thu, 21 Jul 2011 10:51:48 +0200 |
Thomas Leh |
tuned
decompose-isar
|
changeset |
files
|
| Thu, 21 Jul 2011 09:20:37 +0200 |
Alexander Kargl |
intermed: uncomment test/../interface
decompose-isar
|
changeset |
files
|
| Thu, 21 Jul 2011 08:41:28 +0200 |
Alexander Kargl |
intermed: uncomment test/../interface
decompose-isar
|
changeset |
files
|
| Wed, 20 Jul 2011 16:53:39 +0200 |
Alexander Kargl |
intermed: uncomment test/../interface No Errors
decompose-isar
|
changeset |
files
|
| Wed, 20 Jul 2011 14:55:29 +0200 |
Walther Neuper |
removed error in some PolyEq.program
decompose-isar
|
changeset |
files
|
| Wed, 20 Jul 2011 13:05:48 +0200 |
Alexander Kargl |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
decompose-isar
|
changeset |
files
|
| Wed, 20 Jul 2011 13:05:32 +0200 |
Alexander Kargl |
intermed: uncommented tests
decompose-isar
|
changeset |
files
|
| Wed, 20 Jul 2011 11:47:32 +0200 |
Walther Neuper |
start chuber
decompose-isar
|
changeset |
files
|
| Wed, 20 Jul 2011 09:33:20 +0200 |
Walther Neuper |
demo: step into error
decompose-isar
|
changeset |
files
|
| Wed, 20 Jul 2011 08:50:24 +0200 |
Walther Neuper |
merged
decompose-isar
|
changeset |
files
|
| Wed, 20 Jul 2011 08:50:16 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Tue, 19 Jul 2011 16:05:05 +0200 |
Walther Neuper |
tunwed
decompose-isar
|
changeset |
files
|
| Tue, 19 Jul 2011 17:03:02 +0200 |
Alexander Kargl |
intermed: uncommented tests
decompose-isar
|
changeset |
files
|
| Tue, 19 Jul 2011 14:01:27 +0200 |
Walther Neuper |
test/../* "equality (1+-1*2+x=0)" --> "equality (1+-1*2+x=(0::real))",
decompose-isar
|
changeset |
files
|
| Tue, 19 Jul 2011 13:12:37 +0200 |
Walther Neuper |
merged
decompose-isar
|
changeset |
files
|
| Tue, 19 Jul 2011 13:12:30 +0200 |
Walther Neuper |
copied presentation.tex per hand due to problems with hg on Windows
decompose-isar
|
changeset |
files
|
| Tue, 19 Jul 2011 13:10:46 +0200 |
Alexander Kargl |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
decompose-isar
|
changeset |
files
|
| Tue, 19 Jul 2011 13:07:28 +0200 |
Alexander Kargl |
intermed: uncommented tests
decompose-isar
|
changeset |
files
|
| Tue, 19 Jul 2011 10:28:36 +0200 |
Alexander Kargl |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
decompose-isar
|
changeset |
files
|
| Tue, 19 Jul 2011 10:16:50 +0200 |
Alexander Kargl |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
decompose-isar
|
changeset |
files
|
| Tue, 19 Jul 2011 10:16:35 +0200 |
Alexander Kargl |
tuned
decompose-isar
|
changeset |
files
|
| Tue, 19 Jul 2011 13:05:52 +0200 |
Thomas Leh |
tuned
decompose-isar
|
changeset |
files
|
| Tue, 19 Jul 2011 13:04:59 +0200 |
Thomas Leh |
tuned
decompose-isar
|
changeset |
files
|
| Tue, 19 Jul 2011 10:25:37 +0200 |
Thomas Leh |
tuned
decompose-isar
|
changeset |
files
|
| Tue, 19 Jul 2011 10:14:22 +0200 |
Thomas Leh |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
decompose-isar
|
changeset |
files
|