Tue, 26 Jul 2016 13:14:34 +0200merged
Natalie Karl <S1420454023@students.fh-hagenberg.at> [Tue, 26 Jul 2016 13:14:34 +0200] rev 4940
merged

Tue, 26 Jul 2016 13:00:20 +0200SoundUtils duplicate removed
Natalie Karl <S1420454023@students.fh-hagenberg.at> [Tue, 26 Jul 2016 13:00:20 +0200] rev 4939
SoundUtils duplicate removed

More beep variations installed ( high to low and vice versa)

Tue, 26 Jul 2016 08:08:29 +0200merged
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 26 Jul 2016 08:08:29 +0200] rev 4938
merged

Tue, 26 Jul 2016 08:08:07 +0200polish for demo: arbitrary input is checked properly
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 26 Jul 2016 08:08:07 +0200] rev 4937
polish for demo: arbitrary input is checked properly

Wed, 20 Jul 2016 16:46:06 +0200focus and commands are now available by MouseClick
Natalie Karl <S1420454023@students.fh-hagenberg.at> [Wed, 20 Jul 2016 16:46:06 +0200] rev 4936
focus and commands are now available by MouseClick

Wed, 20 Jul 2016 13:00:15 +0200TermTree collapse at entrance and recursive collapse work
Natalie Karl <S1420454023@students.fh-hagenberg.at> [Wed, 20 Jul 2016 13:00:15 +0200] rev 4935
TermTree collapse at entrance and recursive collapse work

Fri, 08 Jul 2016 15:59:33 +0200merged
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 08 Jul 2016 15:59:33 +0200] rev 4934
merged

Fri, 08 Jul 2016 15:58:58 +0200=== CalcFormulas carry libisabelle-Term from kernel to frontend
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 08 Jul 2016 15:58:58 +0200] rev 4933
=== CalcFormulas carry libisabelle-Term from kernel to frontend

Notes:
# update of kernel in isac-java required
# update from https://intra.ist.tugraz.at/hg/isa/rev/970f55da9b00

Thu, 07 Jul 2016 12:01:15 +0200cleanup preparing: isac-java <--Term-- kernel
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 07 Jul 2016 12:01:15 +0200] rev 4932
cleanup preparing: isac-java <--Term-- kernel

Wed, 06 Jul 2016 15:07:23 +0200TermTree concerned files moved packages
Natalie Karl <S1420454023@students.fh-hagenberg.at> [Wed, 06 Jul 2016 15:07:23 +0200] rev 4931
TermTree concerned files moved packages