Wed, 29 Jul 2009 12:12:01 +0200 sos documentation
nipkow [Wed, 29 Jul 2009 12:12:01 +0200] rev 32270
sos documentation
Wed, 29 Jul 2009 09:06:49 +0200 Added remote-SOS changes by Philipp Meyer
nipkow [Wed, 29 Jul 2009 09:06:49 +0200] rev 32269
Added remote-SOS changes by Philipp Meyer
Fri, 24 Jul 2009 13:56:02 +0200 Functionality for sum of squares to call a remote csdp prover
Philipp Meyer [Fri, 24 Jul 2009 13:56:02 +0200] rev 32268
Functionality for sum of squares to call a remote csdp prover
Tue, 28 Jul 2009 20:26:39 +0200 merged
wenzelm [Tue, 28 Jul 2009 20:26:39 +0200] rev 32267
merged
Tue, 28 Jul 2009 13:38:13 +0200 updated generated document
haftmann [Tue, 28 Jul 2009 13:38:13 +0200] rev 32266
updated generated document
Tue, 28 Jul 2009 13:37:40 +0200 reinserted legacy ML function
haftmann [Tue, 28 Jul 2009 13:37:40 +0200] rev 32265
reinserted legacy ML function
Tue, 28 Jul 2009 13:37:09 +0200 Set.UNIV and Set.empty are mere abbreviations for top and bot
haftmann [Tue, 28 Jul 2009 13:37:09 +0200] rev 32264
Set.UNIV and Set.empty are mere abbreviations for top and bot
Tue, 28 Jul 2009 13:37:08 +0200 explicit is better than implicit
haftmann [Tue, 28 Jul 2009 13:37:08 +0200] rev 32263
explicit is better than implicit
Wed, 29 Jul 2009 19:35:10 +0200 Meson.first_order_resolve: avoid handle _;
wenzelm [Wed, 29 Jul 2009 19:35:10 +0200] rev 32262
Meson.first_order_resolve: avoid handle _; proper context for various Meson and Metis rules and tactics unified meson_tac/meson_claset_tac;
Wed, 29 Jul 2009 00:09:14 +0200 removed old global get_claset/map_claset;
wenzelm [Wed, 29 Jul 2009 00:09:14 +0200] rev 32261
removed old global get_claset/map_claset; added local get_claset/put_claset;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip