| Thu, 26 Aug 2010 16:34:10 +0200 | wenzelm | simplification/standardization of some theory data; | file | diff | annotate |
| Mon, 23 Aug 2010 11:51:32 +0200 | haftmann | use Code_Thingol.static_eval_conv_simple | file | diff | annotate |
| Mon, 23 Aug 2010 11:09:49 +0200 | haftmann | refined and unified naming convention for dynamic code evaluation techniques | file | diff | annotate |
| Fri, 16 Jul 2010 13:57:29 +0200 | haftmann | tuned interpunctation | file | diff | annotate |
| Thu, 08 Jul 2010 16:19:24 +0200 | haftmann | tuned titles | file | diff | annotate |
| Fri, 18 Jun 2010 15:26:04 +0200 | haftmann | code_simp: only succeed on real progress | file | diff | annotate |
| Fri, 18 Jun 2010 15:03:21 +0200 | haftmann | conclude simplification with default simpset | file | diff | annotate |
| Thu, 17 Jun 2010 15:59:47 +0200 | haftmann | more precise code | file | diff | annotate |
| Thu, 17 Jun 2010 10:45:10 +0200 | haftmann | added simp evaluator | file | diff | annotate |
| Tue, 15 Jun 2010 14:28:22 +0200 | haftmann | added code_simp infrastructure | file | diff | annotate |