Mathias Lehnfeld <e0726734@student.tuwien.ac.at> [Sun, 29 May 2011 12:53:49 +0200] rev 42032
presentation tuned
Mathias Lehnfeld <e0726734@student.tuwien.ac.at> [Sat, 28 May 2011 21:41:12 +0200] rev 42031
presentation extended
Mathias Lehnfeld <e0726734@student.tuwien.ac.at> [Sat, 28 May 2011 02:55:36 +0200] rev 42030
presentation draft
Walther Neuper <neuper@ist.tugraz.at> [Fri, 27 May 2011 18:00:42 +0200] rev 42029
added expl for dropping Check_Elementwise Assumptions
Walther Neuper <neuper@ist.tugraz.at> [Fri, 27 May 2011 13:07:46 +0200] rev 42028
survey presentation
Mathias Lehnfeld <e0726734@student.tuwien.ac.at> [Fri, 27 May 2011 12:04:21 +0200] rev 42027
tuned
Mathias Lehnfeld <e0726734@student.tuwien.ac.at> [Fri, 27 May 2011 12:02:29 +0200] rev 42026
added doc-src mlehnfeld
Walther Neuper <neuper@ist.tugraz.at> [Fri, 27 May 2011 11:47:36 +0200] rev 42025
reformatted program ["Test","squ-equ-test-subpbl1"] for demo
Walther Neuper <neuper@ist.tugraz.at> [Sat, 21 May 2011 13:05:58 +0200] rev 42024
tuned
Walther Neuper <neuper@ist.tugraz.at> [Sat, 21 May 2011 12:52:59 +0200] rev 42023
intermed. ctxt .. FINISHED
all context handling works with x+1=2.
regression test --- all ctxt changes in minimsubpbl x+1=2 ---.
a new error came in: === inhibit exn 110520 ===.