Mercurial Mercurial > wneuper > isa / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | bz2 | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip
 
Mon, 18 Jul 2011 09:31:58 +0200 Alexander Kargl updated protocol decompose-isar changeset | files
Mon, 18 Jul 2011 09:50:15 +0200 Walther Neuper tuned decompose-isar changeset | files
Mon, 18 Jul 2011 09:29:24 +0200 Walther Neuper merged decompose-isar changeset | files
Mon, 18 Jul 2011 09:29:17 +0200 Walther Neuper intermed: make autocalc..CompleteCalc run with x+1=2 decompose-isar changeset | files
Fri, 15 Jul 2011 16:55:47 +0200 Alexander Kargl updated protocol decompose-isar changeset | files
Fri, 15 Jul 2011 13:51:50 +0200 Walther Neuper updated phst11/* Isabelle2009-2 --> Isabelle2011 decompose-isar changeset | files
Fri, 15 Jul 2011 10:17:51 +0200 Walther Neuper merged decompose-isar changeset | files
Fri, 15 Jul 2011 10:16:29 +0200 Walther Neuper finished ml_quickstart decompose-isar changeset | files
Fri, 15 Jul 2011 09:09:18 +0200 Alexander Kargl added Combinators in test/Pure/General/Basics.thy decompose-isar changeset | files
Thu, 14 Jul 2011 14:36:01 +0200 Alexander Kargl Automated merge with https://intra.ist.tugraz.at/hg/isa/ decompose-isar changeset | files
Thu, 14 Jul 2011 10:02:24 +0200 Alexander Kargl Automated merge with https://intra.ist.tugraz.at/hg/isa/ decompose-isar changeset | files
Thu, 14 Jul 2011 10:01:33 +0200 Alexander Kargl update protocol decompose-isar changeset | files
Thu, 14 Jul 2011 14:32:12 +0200 Walther Neuper extended ml_quickstart decompose-isar changeset | files
Thu, 14 Jul 2011 09:33:57 +0200 Walther Neuper added ADDTESTS/course/ml_quickstart/ML2_Functions.thy decompose-isar changeset | files
Wed, 13 Jul 2011 10:41:17 +0200 Walther Neuper started student work decompose-isar changeset | files
Sun, 10 Jul 2011 17:57:06 +0200 Walther Neuper setup for dmeindl decompose-isar changeset | files
Sun, 10 Jul 2011 17:32:07 +0200 Diana Meindl added files r/Rational2 decompose-isar changeset | files
Sun, 10 Jul 2011 17:31:45 +0200 Diana Meindl added files r/Rational2 decompose-isar changeset | files
Sun, 10 Jul 2011 16:01:14 +0200 Diana Meindl init dmeindl decompose-isar changeset | files
Thu, 07 Jul 2011 16:09:17 +0200 Walther Neuper intermed: jrocnik present-1 decompose-isar changeset | files
Thu, 07 Jul 2011 10:29:12 +0200 Walther Neuper intermed: mrocnik present-1 decompose-isar changeset | files
Tue, 05 Jul 2011 18:11:33 +0200 Walther Neuper intermed: jrocnik present-1 decompose-isar changeset | files
Tue, 05 Jul 2011 12:45:45 +0200 Walther Neuper begin: jrocnik bakk decompose-isar changeset | files
Fri, 01 Jul 2011 10:45:12 +0200 Walther Neuper finished: msteger docu + bakk decompose-isar changeset | files
Tue, 28 Jun 2011 17:09:05 +0200 Walther Neuper merged decompose-isar changeset | files
Tue, 28 Jun 2011 17:08:22 +0200 Walther Neuper tuned decompose-isar changeset | files
Tue, 28 Jun 2011 16:25:19 +0200 Marco Steger tuned decompose-isar changeset | files
Tue, 28 Jun 2011 15:14:12 +0200 Walther Neuper merged decompose-isar changeset | files
Tue, 28 Jun 2011 15:14:00 +0200 Walther Neuper intermed: make autocalc..CompleteCalc run with x+1=2 decompose-isar changeset | files
Mon, 27 Jun 2011 22:30:24 +0200 Marco Steger doku msteger: tuned decompose-isar changeset | files
Fri, 24 Jun 2011 19:45:48 +0200 Marco Steger renamed and configured jedit-project: testSD-jedit decompose-isar changeset | files
Fri, 24 Jun 2011 18:39:18 +0200 Marco Steger cleaned up jeditC decompose-isar changeset | files
Fri, 24 Jun 2011 18:31:56 +0200 Marco Steger tuned hgignore decompose-isar changeset | files
Fri, 24 Jun 2011 18:30:34 +0200 Marco Steger tuned hgignore decompose-isar changeset | files
Fri, 24 Jun 2011 18:25:40 +0200 Marco Steger changed hgignore decompose-isar changeset | files
Thu, 23 Jun 2011 15:03:21 +0200 Walther Neuper merged decompose-isar changeset | files
Thu, 23 Jun 2011 15:03:06 +0200 Walther Neuper intermed: install isac-jedit decompose-isar changeset | files
Thu, 23 Jun 2011 14:51:53 +0200 Marco Steger intermed: install isac-jedit decompose-isar changeset | files
Thu, 23 Jun 2011 11:29:53 +0200 Walther Neuper intermed: bakk msteger decompose-isar changeset | files
Thu, 23 Jun 2011 10:17:15 +0200 Walther Neuper merged decompose-isar changeset | files
Thu, 23 Jun 2011 10:17:04 +0200 Walther Neuper intermed: update test/..Frontend/interface.sml decompose-isar changeset | files
Wed, 22 Jun 2011 23:23:20 +0200 Marco Steger msteger: writing docu decompose-isar changeset | files
Wed, 22 Jun 2011 19:58:58 +0200 Marco Steger merged decompose-isar changeset | files
Wed, 22 Jun 2011 19:58:19 +0200 Marco Steger merged decompose-isar changeset | files
Wed, 22 Jun 2011 19:50:32 +0200 Marco Steger presentation: final version decompose-isar changeset | files
Wed, 22 Jun 2011 19:48:14 +0200 Marco Steger presentation: final version decompose-isar changeset | files
Mon, 20 Jun 2011 17:55:15 +0200 Marco Steger tuned decompose-isar changeset | files
Mon, 20 Jun 2011 17:33:06 +0200 Walther Neuper intermed: bakk msteger decompose-isar changeset | files
Sat, 18 Jun 2011 11:28:10 +0200 Walther Neuper intermed: update Struct_Deriv.thy Isabelle2009-2 --> 2011 decompose-isar changeset | files
Thu, 16 Jun 2011 18:51:59 +0200 Walther Neuper intermed. msteger bakk-presentation.tex decompose-isar changeset | files
Thu, 16 Jun 2011 15:09:47 +0200 Walther Neuper merged decompose-isar changeset | files
Thu, 16 Jun 2011 15:09:41 +0200 Walther Neuper tuned decompose-isar changeset | files
Wed, 15 Jun 2011 21:55:45 +0200 Marco Steger presentation and filestructure decompose-isar changeset | files
Tue, 14 Jun 2011 18:03:14 +0200 Walther Neuper intermed. msteger present decompose-isar changeset | files
Tue, 31 May 2011 10:39:02 +0200 Walther Neuper tuned decompose-isar changeset | files
Tue, 31 May 2011 10:24:59 +0200 Walther Neuper tuned decompose-isar changeset | files
Tue, 31 May 2011 10:15:29 +0200 Walther Neuper contribution of Mathias Lehnfeld finished decompose-isar changeset | files
Mon, 30 May 2011 20:30:56 +0200 Mathias Lehnfeld report tuned decompose-isar changeset | files
Mon, 30 May 2011 11:02:21 +0200 Mathias Lehnfeld corrections, presentation & report finished decompose-isar changeset | files
Mon, 30 May 2011 02:04:29 +0200 Mathias Lehnfeld report finished decompose-isar changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip
wneuper/isa