Timeline


and

Oct 8, 2012:

7:08 PM source-context-menu.png attached to QTypeTutorial5 by jd
7:07 PM break-point-display.png attached to QTypeTutorial5 by jd
7:07 PM QTypeTutorial5 edited by jd
(diff)
6:45 PM QTypeTutorial5 edited by jd
(diff)
6:45 PM db_word_step_selected.png attached to QTypeTutorial5 by jd
6:45 PM QTypeTutorial5 edited by jd
(diff)
6:06 PM QTypeTutorial6 edited by jd
(diff)
6:06 PM QTypeTutorial6 edited by jd
(diff)
6:05 PM QTypeTutorial6 edited by jd
(diff)
6:05 PM QTypeTutorial6 edited by jd
(diff)
6:05 PM QTypeTutorial6 edited by jd
(diff)
5:53 PM QTypeTutorial5 edited by jd
(diff)
4:52 PM QTypeTutorial5 edited by jd
(diff)
4:45 PM QTypeTutorial5 edited by jd
(diff)
4:36 PM QTypeTutorial6 created by jd
4:36 PM QTypeTutorial5 created by jd
12:53 PM WikiStart edited by ke
(diff)
12:53 PM UsersManualSWI edited by ke
(diff)
11:41 AM QTypeTutorial4 edited by ke
(diff)
11:40 AM QTypeTutorial4 edited by ke
(diff)
11:39 AM QTypeTutorial4 edited by ke
(diff)
11:25 AM QTypeTutorial4 edited by ke
(diff)

Oct 7, 2012:

9:57 PM QTypeTutorial4 edited by jd
(diff)
9:56 PM deactivated-skip-point.png attached to QTypeTutorial4 by jd
9:56 PM deactivate-context-menu.png attached to QTypeTutorial4 by jd
9:53 PM QTypeTutorial4 edited by jd
(diff)
9:53 PM QTypeTutorial4 edited by jd
(diff)
9:37 PM QTypeTutorial4 edited by jd
(diff)
8:04 PM QTypeTutorial4 edited by jd
(diff)
8:03 PM QTypeTutorial4 edited by jd
(diff)
8:02 PM QTypeTutorial4 edited by jd
(diff)
8:01 PM QTypeTutorial4 edited by jd
(diff)
8:00 PM QTypeTutorial4 edited by jd
(diff)
7:59 PM QTypeTutorial4 edited by jd
(diff)
7:51 PM QTypeTutorial3 edited by ke
(diff)
7:49 PM QTypeTutorial3 edited by ke
(diff)
7:49 PM QTypeTutorial3 edited by ke
(diff)
7:41 PM QTypeTutorial4 edited by jd
(diff)
7:39 PM QTypeTutorial4 edited by jd
(diff)
7:35 PM QTypeTutorial4 edited by jd
(diff)
7:21 PM QTypeTutorial4 edited by jd
(diff)
7:14 PM QTypeTutorial4 edited by jd
(diff)
7:14 PM QTypeTutorial4 edited by jd
(diff)
5:02 PM QTypeTutorial3 edited by jd
(diff)
4:52 PM QTypeTutorial3 edited by jd
(diff)
4:45 PM QTypeTutorial3 edited by jd
(diff)
4:39 PM QTypeTutorial3 edited by jd
(diff)
4:10 PM QTypeTutorial4 edited by jd
(diff)
4:10 PM QTypeTutorial4 edited by jd
(diff)
4:09 PM QTypeTutorial4 edited by jd
(diff)
4:09 PM QTypeTutorial4 edited by jd
(diff)
4:08 PM first-creep.png attached to QTypeTutorial4 by jd
4:08 PM first-skip.png attached to QTypeTutorial4 by jd
4:08 PM first-complete.png attached to QTypeTutorial4 by jd
4:08 PM project-loaded-and-compiled.png attached to QTypeTutorial4 by jd
4:06 PM QTypeTutorial4 edited by jd
(diff)
4:06 PM QTypeTutorial4 edited by jd
(diff)
4:05 PM QTypeTutorial4 edited by jd
(diff)
3:57 PM QTypeTutorial4 created by jd
3:02 PM QTypeTutorial3 edited by jd
(diff)
2:48 PM uther-sleep-inspection-step011.png attached to QTypeTutorial3 by jd
2:47 PM uther-sleep-inspection-step010.png attached to QTypeTutorial3 by jd
2:47 PM uther-sleep-inspection-step009.png attached to QTypeTutorial3 by jd
2:46 PM QTypeTutorial3 edited by jd
(diff)
2:46 PM QTypeTutorial3 edited by jd
(diff)
2:42 PM QTypeTutorial2 edited by ke
(diff)
2:22 PM QTypeTutorial2 edited by ke
Steps in failed branches are also part of the call tree, non? (diff)
2:19 PM QTypeTutorial2 edited by ke
(diff)
2:17 PM QTypeTutorial2 edited by ke
(diff)
2:16 PM QTypeTutorial2 edited by ke
(diff)
1:58 PM QTypeTutorial2 edited by ke
(diff)
1:52 PM QTypeTutorial2 edited by ke
goal exited nondeterministically ≠ there are further clauses to try (diff)
1:47 PM Ticket #128 (show source code location for top-level goals) closed by ke
fixed
1:13 PM QTypeTutorial2 edited by ke
(diff)
12:58 PM QTypeTutorial1 edited by ke
(diff)
12:54 PM InstallQType edited by ke
(diff)
12:52 PM QTypeTutorial edited by ke
comma (diff)
12:08 PM QTypeTutorial3 edited by jd
(diff)
11:46 AM QTypeTutorial3 edited by jd
(diff)
11:45 AM Ticket #129 (Loading a new project does not abort the current session) created by ke
Steps to reproduce: - Start GUI using gui command - Create a new …
11:36 AM QTypeTutorial edited by ke
(diff)
10:46 AM QTypeTutorial3 edited by jd
(diff)
10:44 AM QTypeTutorial3 edited by jd
(diff)
10:43 AM QTypeTutorial3 edited by jd
(diff)
10:43 AM QTypeTutorial3 edited by jd
(diff)
10:16 AM StepTree edited by jd
(diff)
10:16 AM StepTree edited by jd
(diff)
10:15 AM QTypeTutorial3 edited by jd
(diff)
9:29 AM QTypeTutorial3 edited by jd
(diff)
9:28 AM QTypeTutorial3 edited by jd
(diff)
9:27 AM QTypeTutorial3 edited by jd
(diff)
9:25 AM QTypeTutorial3 edited by jd
(diff)
9:24 AM QTypeTutorial3 edited by jd
(diff)
9:21 AM QTypeTutorial3 edited by jd
(diff)
9:20 AM QTypeTutorial3 edited by jd
(diff)
9:15 AM QTypeTutorial3 edited by jd
(diff)
9:14 AM QTypeTutorial3 edited by jd
(diff)

Oct 6, 2012:

3:26 PM QTypeTutorial3 edited by jd
(diff)
3:25 PM QTypeTutorial3 edited by jd
(diff)
3:17 PM QTypeTutorial3 edited by jd
(diff)
3:13 PM QTypeTutorial3 edited by jd
(diff)
3:10 PM QTypeTutorial3 edited by jd
(diff)
3:10 PM QTypeTutorial3 edited by jd
(diff)
3:07 PM QTypeTutorial3 edited by jd
(diff)
3:00 PM QTypeTutorial3 edited by jd
(diff)
2:59 PM QTypeTutorial3 edited by jd
(diff)
2:51 PM QTypeTutorial3 edited by jd
(diff)
2:46 PM QTypeTutorial3 edited by jd
(diff)
2:36 PM QTypeTutorial3 edited by jd
(diff)
11:53 AM uther-sleep-inspection-step008.png attached to QTypeTutorial3 by jd
11:52 AM uther-sleep-inspection-step007.png attached to QTypeTutorial3 by jd
11:52 AM uther-sleep-inspection-step006.png attached to QTypeTutorial3 by jd
11:52 AM uther-sleep-inspection-step005.png attached to QTypeTutorial3 by jd
11:52 AM uther-sleep-inspection-step004.png attached to QTypeTutorial3 by jd
11:51 AM uther-sleep-inspection-step003.png attached to QTypeTutorial3 by jd
11:51 AM uther-sleep-inspection-step002.png attached to QTypeTutorial3 by jd
11:51 AM uther-sleep-inspection-step001.png attached to QTypeTutorial3 by jd
11:50 AM control-panel.png attached to QTypeTutorial3 by jd
11:50 AM uther-sleep-result.png attached to QTypeTutorial3 by jd
11:50 AM QTypeTutorial3 edited by jd
(diff)
11:44 AM QTypeTutorial3 edited by jd
(diff)
11:42 AM QTypeTutorial3 edited by jd
(diff)
11:40 AM QTypeTutorial3 edited by jd
(diff)
11:34 AM QTypeTutorial3 edited by jd
(diff)
10:50 AM QTypeTutorial3 edited by jd
(diff)
10:50 AM QTypeTutorial3 edited by jd
(diff)
10:49 AM QTypeTutorial3 edited by jd
(diff)
10:48 AM QTypeTutorial3 edited by jd
(diff)
10:47 AM QTypeTutorial3 edited by jd
(diff)
10:47 AM QTypeTutorial3 edited by jd
(diff)
10:44 AM QTypeTutorial3 edited by jd
(diff)
10:06 AM QTypeTutorial2 edited by jd
(diff)
10:05 AM QTypeTutorial2 edited by jd
(diff)
10:03 AM QTypeTutorial2 edited by jd
(diff)
10:02 AM QTypeTutorial2 edited by jd
(diff)
9:37 AM QTypeTutorial2 edited by jd
(diff)
9:18 AM uther-result.png attached to QTypeTutorial2 by jd
9:17 AM uther-step026.png attached to QTypeTutorial2 by jd
9:17 AM uther-step025.png attached to QTypeTutorial2 by jd
9:16 AM uther-step023.png attached to QTypeTutorial2 by jd
9:16 AM uther-step022.png attached to QTypeTutorial2 by jd
9:15 AM uther-step021.png attached to QTypeTutorial2 by jd
9:15 AM QTypeTutorial2 edited by jd
(diff)
8:40 AM QTypeTutorial2 edited by jd
(diff)
8:35 AM QTypeTutorial2 edited by jd
(diff)
8:15 AM QTypeTutorial2 edited by jd
(diff)
8:05 AM QTypeTutorial2 edited by jd
(diff)
8:04 AM QTypeTutorial2 edited by jd
(diff)

Oct 5, 2012:

10:51 PM Ticket #126 (KAHINA_HOME not set error message appears twice) closed by ke
fixed
5:20 PM QTypeTutorial2 edited by jd
(diff)
5:09 PM QTypeTutorial2 edited by jd
(diff)
5:04 PM uther-step020.png attached to QTypeTutorial2 by jd
5:04 PM uther-step019.png attached to QTypeTutorial2 by jd
5:03 PM uther-step018.png attached to QTypeTutorial2 by jd
5:03 PM uther-step017.png attached to QTypeTutorial2 by jd
5:03 PM uther-step016.png attached to QTypeTutorial2 by jd
5:03 PM uther-step014.png attached to QTypeTutorial2 by jd
5:03 PM uther-step011.png attached to QTypeTutorial2 by jd
5:02 PM QTypeTutorial2 edited by jd
(diff)
4:44 PM QTypeTutorial3 edited by jd
(diff)
4:40 PM QTypeTutorial2 edited by jd
(diff)
4:39 PM QTypeTutorial2 edited by jd
(diff)
4:21 PM QTypeTutorial2 edited by jd
(diff)
4:05 PM QTypeTutorial2 edited by jd
(diff)
3:57 PM uther-step010.png attached to QTypeTutorial2 by jd
3:44 PM QTypeTutorial2 edited by jd
(diff)
3:43 PM uther-step009.png attached to QTypeTutorial2 by jd
3:43 PM QTypeTutorial2 edited by jd
(diff)
3:08 PM uther-step008.png attached to QTypeTutorial2 by jd
3:08 PM QTypeTutorial2 edited by jd
(diff)
3:02 PM uther-step007.png attached to QTypeTutorial2 by jd
3:01 PM uther-step005.png attached to QTypeTutorial2 by jd
3:00 PM QTypeTutorial2 edited by jd
(diff)
2:08 PM QTypeTutorial2 edited by jd
(diff)
2:06 PM uther-step004.png attached to QTypeTutorial2 by jd
2:03 PM QTypeTutorial2 edited by jd
(diff)
2:02 PM uther-step002.png attached to QTypeTutorial2 by jd
2:02 PM QTypeTutorial2 edited by jd
(diff)
1:56 PM QTypeTutorial2 edited by jd
(diff)
1:51 PM QTypeTutorial2 edited by jd
(diff)
1:51 PM QTypeTutorial2 edited by jd
(diff)
1:50 PM QTypeTutorial2 edited by jd
(diff)
1:49 PM QTypeTutorial2 edited by jd
(diff)
1:46 PM uther-step001.png attached to QTypeTutorial2 by jd
12:12 PM QTypeTutorial2 edited by jd
(diff)
12:11 PM parse-uther.png attached to QTypeTutorial2 by jd
12:11 PM QTypeTutorial2 edited by jd
(diff)
11:53 AM QTypeTutorial2 edited by jd
(diff)
11:51 AM QTypeTutorial2 edited by jd
(diff)
11:51 AM QTypeTutorial2 edited by jd
(diff)
11:48 AM QTypeTutorial2 edited by jd
(diff)
11:42 AM QTypeTutorial2 edited by jd
(diff)
11:31 AM QTypeTutorial2 edited by jd
(diff)
11:31 AM QTypeTutorial2 edited by jd
(diff)
11:29 AM QTypeTutorial2 edited by jd
(diff)
11:19 AM QTypeTutorial2 edited by jd
(diff)
11:18 AM QTypeTutorial2 edited by jd
(diff)
11:13 AM QTypeTutorial2 edited by jd
(diff)
10:59 AM QTypeTutorial2 edited by jd
(diff)
10:54 AM QTypeTutorial2 edited by jd
(diff)
10:52 AM QTypeTutorial2 edited by jd
(diff)
10:51 AM QTypeTutorial2 edited by jd
(diff)
10:51 AM QTypeTutorial2 edited by jd
(diff)
10:48 AM QTypeTutorial2 edited by jd
(diff)
10:47 AM QTypeTutorial2 edited by jd
(diff)
10:44 AM QTypeTutorial2 edited by jd
(diff)
10:23 AM Ticket #127 (Handling of invalid QType commands broken when tracer active) closed by ke
worksforme: can't reproduce now
9:08 AM Ticket #128 (show source code location for top-level goals) created by ke
9:06 AM Ticket #127 (Handling of invalid QType commands broken when tracer active) created by ke
e.g. "exit", falls back to Prolog prompt instead of QType prompt
9:05 AM Ticket #126 (KAHINA_HOME not set error message appears twice) created by ke

Oct 4, 2012:

2:58 PM QTypeTutorial2 edited by jd
(diff)
2:57 PM QTypeTutorial2 edited by jd
(diff)
2:57 PM QTypeTutorial2 edited by jd
(diff)
2:55 PM QTypeTutorial2 edited by jd
(diff)
2:54 PM QTypeTutorial2 edited by jd
(diff)
2:53 PM QTypeTutorial2 edited by jd
(diff)
2:52 PM QTypeTutorial2 edited by jd
(diff)
2:50 PM QTypeTutorial2 edited by jd
(diff)
2:49 PM QTypeTutorial2 edited by jd
(diff)
2:42 PM control-panel.png attached to QTypeTutorial2 by jd
2:42 PM QTypeTutorial2 edited by jd
(diff)
2:38 PM QTypeTutorial2 edited by jd
(diff)
2:22 PM QTypeTutorial3 created by jd
2:18 PM QTypeTutorial2 edited by jd
(diff)
1:36 PM tutorial-grammar-compiled.png attached to QTypeTutorial1 by jd
1:36 PM QTypeTutorial1 edited by jd
(diff)
1:30 PM QTypeTutorial1 edited by jd
(diff)
1:28 PM QTypeTutorial1 edited by jd
(diff)
1:27 PM QTypeTutorial1 edited by jd
(diff)
1:26 PM QTypeTutorial1 edited by jd
(diff)
1:24 PM QTypeTutorial1 edited by jd
(diff)
1:23 PM QTypeTutorial1 edited by jd
(diff)
1:14 PM QTypeTutorial1 edited by jd
(diff)
1:13 PM QTypeTutorial1 edited by jd
(diff)
1:12 PM QTypeTutorial1 edited by jd
(diff)
1:11 PM QTypeTutorial1 edited by jd
(diff)
1:10 PM QTypeTutorial1 edited by jd
(diff)
1:01 PM skip-button-hint.png attached to QTypeTutorial1 by jd
1:00 PM QTypeTutorial1 edited by jd
(diff)
12:52 PM QTypeTutorial1 edited by jd
(diff)
12:50 PM QTypeTutorial1 edited by jd
(diff)
12:48 PM QTypeTutorial1 edited by jd
(diff)
12:47 PM QTypeTutorial1 edited by jd
(diff)
12:47 PM QTypeTutorial1 edited by jd
(diff)
12:38 PM tutorial-project-opened.png attached to QTypeTutorial1 by jd
11:06 AM QTypeTutorial1 edited by jd
(diff)
11:01 AM QTypeTutorial1 edited by jd
(diff)
11:00 AM QTypeTutorial1 edited by jd
(diff)
11:00 AM QTypeTutorial1 edited by jd
(diff)
10:59 AM QTypeTutorial1 edited by jd
(diff)
10:59 AM QTypeTutorial1 edited by jd
(diff)
10:57 AM QTypeTutorial2 edited by jd
(diff)
10:57 AM QTypeTutorial2 edited by jd
(diff)
10:53 AM QTypeTutorial2 edited by jd
(diff)
10:52 AM QTypeTutorial2 edited by jd
(diff)
10:52 AM QTypeTutorial2 edited by jd
(diff)
10:51 AM QTypeTutorial2 edited by jd
(diff)
10:51 AM QTypeTutorial2 edited by jd
(diff)
10:42 AM QTypeTutorial1 edited by jd
(diff)
10:39 AM QTypeTutorial1 edited by jd
(diff)
10:32 AM QTypeTutorial1 edited by jd
(diff)
10:32 AM QTypeTutorial1 edited by jd
(diff)
10:32 AM QTypeTutorial1 edited by jd
(diff)
10:30 AM QTypeTutorial1 edited by jd
(diff)
10:23 AM QTypeTutorial1 edited by jd
(diff)
10:11 AM QTypeTutorial1 edited by jd
(diff)
10:11 AM QTypeTutorial2 edited by jd
(diff)
10:11 AM QTypeTutorial1 created by jd

Oct 1, 2012:

11:34 AM QTypeStatus edited by jd
(diff)
11:30 AM Schedule edited by jd
(diff)
11:29 AM UsersManualQType edited by jd
(diff)
11:27 AM UsersManualQType edited by jd
(diff)
11:26 AM UsersManualQType edited by jd
(diff)
Note: See TracTimeline for information about the timeline view.