| Thu, 20 Oct 2022 10:23:38 +0200 |
followup 6a: tests run from @{context} without sessions
|
file | diff | annotate |
| Mon, 22 Aug 2022 11:26:20 +0200 |
cleanup test for: push ctxt through LI
|
file | diff | annotate |
| Tue, 16 Aug 2022 15:53:20 +0200 |
prepare test 2 for: push ctxt through LI
|
file | diff | annotate |
| Wed, 20 May 2020 12:52:09 +0200 |
standard format for string lists
|
file | diff | annotate |
| Wed, 22 Jan 2020 11:20:54 +0100 |
lucin: tests towards simpl. Lucin.scan*
|
file | diff | annotate |
| Thu, 19 Dec 2019 16:41:57 +0100 |
cleanup fun solve, shift from Solve --> Step_Solve
|
file | diff | annotate |
| Thu, 20 Oct 2016 10:26:29 +0200 |
simplify handling of theorems
|
file | diff | annotate |
| Fri, 20 May 2011 14:49:07 +0200 |
tuned
|
file | diff | annotate |
| Thu, 19 May 2011 19:28:22 +0200 |
intermed. ctxt ..: add preconds in solve..Apply_Method
|
file | diff | annotate |
| Wed, 18 May 2011 11:58:48 +0200 |
intermed. ctxt ..: calculation x+1=2 goes through
|
file | diff | annotate |
| Tue, 17 May 2011 15:02:43 +0200 |
tuned
|
file | diff | annotate |