| Sat, 09 May 2020 15:31:15 +0200 |
collect code for I_Model.add_single
|
file | diff | annotate |
| Sat, 09 May 2020 11:55:51 +0200 |
shift code to Input_Descript, rename identifiers (+ keep old)
|
file | diff | annotate |
| Fri, 08 May 2020 18:30:21 +0200 |
cleanup O_Model
|
file | diff | annotate |
| Thu, 07 May 2020 14:11:03 +0200 |
collect code for O_Model (+ old locations)
|
file | diff | annotate |
| Tue, 05 May 2020 15:39:20 +0200 |
assign code struct.O_Model and I_Model, part 2: model.sml is clean
|
file | diff | annotate |
| Tue, 05 May 2020 13:33:23 +0200 |
assign code struct.O_Model and I_Model, part 1
|
file | diff | annotate |
| Mon, 04 May 2020 18:47:27 +0200 |
separate struct O_Model and I_Model, part 2
|
file | diff | annotate |
| Mon, 04 May 2020 16:47:32 +0200 |
prep.to separate struct O_Model and I_Model
|
file | diff | annotate |
| Mon, 04 May 2020 16:25:14 +0200 |
shift code specific for specify-phase to Specify/*
|
file | diff | annotate | base |
| Sat, 19 Oct 2019 11:01:11 +0200 |
lucin: cleanup args in lucas-interpreter, assy works
|
file | diff | annotate |
| Fri, 18 Oct 2019 17:00:36 +0200 |
lucin: cleanup args in lucas-interpreter, new assy with errors outcommented
|
file | diff | annotate |
| Sun, 22 Sep 2019 14:51:29 +0200 |
remove updates for test-mode, i.e. an accident from previous changeset
|
file | diff | annotate |
| Sun, 22 Sep 2019 14:47:35 +0200 |
lucin: shift ListC.thy into ProgLang
|
file | diff | annotate |
| Mon, 16 Sep 2019 12:43:43 +0200 |
shift respective constants to ListC.thy
|
file | diff | annotate |
| Tue, 03 Sep 2019 12:40:27 +0200 |
lucin: reorganise theories in ProgLang
|
file | diff | annotate |
| Thu, 29 Aug 2019 10:59:57 +0200 |
separate Prog_Tac.thy
|
file | diff | annotate |
| Wed, 28 Aug 2019 07:08:25 +0200 |
collect code with explicit reference to "Input_Descript".thy
|
file | diff | annotate |
| Tue, 27 Aug 2019 18:03:33 +0200 |
assign Input_Descript to Specify/-phase
|
file | diff | annotate |
| Tue, 27 Aug 2019 15:31:45 +0200 |
[-Test_Isac ONLY biegelinie-1.sml] assign Input_Descript to Specify/-phase
|
file | diff | annotate |
| Tue, 27 Aug 2019 11:59:48 +0200 |
separate Specify/ from Interpret/
|
file | diff | annotate | base |