Timeline
01/24/12:
- 23:48 Changeset [1057] by ke
- Step counter in main window title is now slightly less hacky, is updated …
- 22:58 Changeset [1056] by ke
- no longer specifying a full package name for locating …
- 22:46 Changeset [1055] by ke
- Bugfix: tabbed window constructor wasn't calling the right …
- 22:39 Changeset [1054] by ke
- added debugging output
- 22:11 Changeset [1053] by ke
- Inflated code to debug NullPointerException? while trying to build the …
- 21:33 Changeset [1052] by ke
- Extended refactoring to test source.
- 00:10 Changeset [1051] by jd
- Removing orphaned event packages.
- 00:07 Changeset [1050] by jd
- Massive refactoring of GUI code.
01/23/12:
- 23:08 Changeset [1049] by jd
- Moved all the event types to their respective packages.
- 22:52 Changeset [1048] by jd
- Removed the core.client package, an unused stub since revision 91.
- 22:41 Changeset [1047] by jd
- Remove the emptied breakpoint package.
- 22:36 Changeset [1046] by jd
- Heavy refactoring, moved breakpoint package over to control.
01/15/12:
- 22:19 Ticket #113 (defect) closed by ke
- fixed
- 22:19 Ticket #111 (defect) closed by ke
- fixed
- 20:00 Changeset [1045] by ke
- Examples can now be registered with GUI, offered via "Parse example" menu.
- 16:36 Changeset [1044] by ke
- Moved QType tracing code to QType system.
- 15:31 Changeset [1043] by ke
- harmonized names
- 14:17 Changeset [1042] by ke
- Added some line number information for parsing QTG files, excluded some …
- 14:02 Changeset [1041] by ke
- Renamed Breakpoints menu to Control points.
- 13:53 QTypeStatus edited by ke
- examples (diff)
- 13:49 Changeset [1040] by ke
- Source code highlighting and proper layering for examples.
- 13:47 Ticket #113 (defect) created by ke
- Parse examples from "Parse example" submenu
- 13:46 Ticket #112 (defect) created by ke
- Make "more solutions" prompt controllable from GUI
- 13:41 Changeset [1039] by ke
- Registering step source code location now updates GUI.
01/14/12:
01/08/12:
- 21:13 StepTree edited by jd
- (diff)
- 21:11 QTypeStatus edited by jd
- (diff)
- 21:09 QTypeVariableBindings edited by jd
- 21:08 ControlPoints edited by jd
- 21:06 BreakpointSystem edited by jd
- (diff)
- 21:05 BreakpointSystem edited by jd
- 21:03 Chart edited by jd
- 21:00 ListTreeView edited by jd
- 20:58 UsersManualSWI edited by jd
- (diff)
- 20:58 UsersManualSICStus edited by jd
- (diff)
- 20:57 UsersManualTRALE edited by jd
- (diff)
- 20:29 StepTree edited by jd
- 20:27 Tracing edited by jd
- 20:25 SystemArchitecture edited by jd
- (diff)
- 20:23 Steps edited by jd
- 20:21 SystemArchitecture edited by jd
- 20:20 UsersManualQType edited by jd
- (diff)
- 20:19 MessagingSystem edited by jd
- (diff)
- 20:18 MessagingSystem edited by jd
- 20:14 UsersManualQType edited by jd
- (diff)
- 20:13 UsersManualQType edited by jd
- (diff)
- 20:11 UsersManualQType edited by jd
- 20:09 Schedule edited by jd
- (diff)
- 20:09 WikiStart edited by jd
- (diff)
- 19:58 Changeset [1038] by jd
- Added skeleton and stubs for org.kahina.parse package (specialized charts …
- 19:39 Changeset [1037] by jd
- Testing Subclipse on a small overdue refactoring.
- 17:16 Changeset [1036] by ke
- Comments.
- 17:00 Changeset [1035] by ke
- Majour round of bugfixes in Grisu string generation code.
01/07/12:
- 23:10 Changeset [1034] by jd
- Refactored GraleJUtility, removing legacy code and harmonizing names with …
- 22:48 Changeset [1033] by jd
- Activated option to discard a compiled theory, much more stable signature …
- 22:08 Changeset [1032] by jd
- Removed old IEntity-based unification, path-based version works for all …
- 21:54 Changeset [1031] by jd
- GraleJToGrisu should now handle all cyclic structures.
Note: See TracTimeline for information about the timeline view.
