| Tue, 26 Jul 2011 09:53:53 +0200 |
Jan Rocnik |
merged
decompose-isar
|
changeset |
files
|
| Tue, 26 Jul 2011 09:53:32 +0200 |
Jan Rocnik |
intermed jrocnik present-1
decompose-isar
|
changeset |
files
|
| Tue, 26 Jul 2011 09:38:07 +0200 |
Alexander Kargl |
intermed: uncommented tests
decompose-isar
|
changeset |
files
|
| Tue, 26 Jul 2011 09:10:01 +0200 |
Alexander Kargl |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
decompose-isar
|
changeset |
files
|
| Tue, 26 Jul 2011 09:09:49 +0200 |
Alexander Kargl |
intermed: uncommented tests, updated protocoll
decompose-isar
|
changeset |
files
|
| Mon, 25 Jul 2011 17:55:25 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Mon, 25 Jul 2011 17:51:09 +0200 |
Walther Neuper |
merged
decompose-isar
|
changeset |
files
|
| Mon, 25 Jul 2011 17:44:19 +0200 |
Walther Neuper |
intermed. updated test + Test_Z_Transform.thy etc
decompose-isar
|
changeset |
files
|
| Mon, 25 Jul 2011 17:43:27 +0200 |
Jan Rocnik |
merged
decompose-isar
|
changeset |
files
|
| Mon, 25 Jul 2011 17:43:07 +0200 |
Jan Rocnik |
tuned
decompose-isar
|
changeset |
files
|
| Mon, 25 Jul 2011 14:19:50 +0200 |
Alexander Kargl |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
decompose-isar
|
changeset |
files
|
| Mon, 25 Jul 2011 14:19:22 +0200 |
Alexander Kargl |
intermed: uncommented tests
decompose-isar
|
changeset |
files
|
| Mon, 25 Jul 2011 14:18:29 +0200 |
Walther Neuper |
merged
decompose-isar
|
changeset |
files
|
| Mon, 25 Jul 2011 14:18:08 +0200 |
Walther Neuper |
intermed: update test/../ProgLang
decompose-isar
|
changeset |
files
|
| Mon, 25 Jul 2011 08:10:39 +0200 |
Walther Neuper |
merged
decompose-isar
|
changeset |
files
|
| Mon, 25 Jul 2011 08:10:33 +0200 |
Walther Neuper |
update test/../termC.sml
decompose-isar
|
changeset |
files
|
| Mon, 25 Jul 2011 11:52:07 +0200 |
Alexander Kargl |
intermed: uncommented tests
decompose-isar
|
changeset |
files
|
| Sun, 24 Jul 2011 19:38:53 +0200 |
Jan Rocnik |
my present-1 ready
decompose-isar
|
changeset |
files
|
| Sat, 23 Jul 2011 18:47:12 +0200 |
Jan Rocnik |
merged
decompose-isar
|
changeset |
files
|
| Sat, 23 Jul 2011 18:46:38 +0200 |
Jan Rocnik |
tuned
decompose-isar
|
changeset |
files
|
| 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
|