Context Navigation

← Previous Period
Next Period →

Timeline

Nov 19, 2012:

11:36 PM Changeset [4a72b30]mei_rt2mei_rt2_fix_1 by Mei <mei@…>: 1) add more doc for java
11:27 PM JavaSupport edited by Mei: (diff)
10:56 PM JavaSupport edited by Mei: (diff)
10:51 PM JavaSupport edited by Mei: (diff)
10:42 PM JavaSupport edited by Mei: (diff)
5:11 PM Changeset [695abc7]mei_rt2mei_rt2_fix_1 by Mei <mei@…>: 1) touch ChangeLog, trying to see why wiki page could not link
5:01 PM OldWikiStart edited by Mei: (diff)
3:36 PM Changeset [ced90bc]mei_rt2mei_rt2_fix_1 by Mei <mei@…>: 1) add a single threaded java test prover script
2:47 PM DocumentationRT2 edited by Mei: (diff)

Nov 12, 2012:

10:41 PM Changeset [41a4690]mei_rt2mei_rt2_fix_1 by Mei <mei@…>: Merge branch 'mei_rt2' of git://abac.deterlab.net/abac into mei_rt2
10:34 PM Changeset [e3c7769]mei_rt2mei_rt2_fix_1 by Mei <mei@…>: 1) wrap up java interface with swig/jni/abac linkup 2) java regression …

Nov 2, 2012:

11:59 PM Changeset [a334115]mei_rt2mei_rt2_fix_1 by Mei <mei@…>: 1) tweak the warning message
1:43 PM Changeset [97a6a36]mei_rt2mei_rt2_fix_1 by Mei <mei@…>: 1) added java to libabac using swig 2) added java examples …

Oct 20, 2012:

6:38 PM WikiNewPage edited by trac: (diff)
6:38 PM TracQuery edited by trac: (diff)
6:38 PM TracSyntaxColoring edited by trac: (diff)
6:38 PM TracWiki edited by trac: (diff)
6:38 PM TracModWSGI edited by trac: (diff)
6:38 PM WikiDeletePage edited by trac: (diff)
6:38 PM TracEnvironment edited by trac: (diff)
6:38 PM TracAdmin edited by trac: (diff)
6:38 PM TracModPython edited by trac: (diff)
6:38 PM TracRoadmap edited by trac: (diff)
6:38 PM TracGuide edited by trac: (diff)
6:38 PM WikiPageNames edited by trac: (diff)
6:38 PM TracChangeset edited by trac: (diff)
6:38 PM InterTrac edited by trac: (diff)
6:38 PM WikiMacros edited by trac: (diff)
6:38 PM TracInstall edited by trac: (diff)
6:38 PM TracLinks edited by trac: (diff)
6:38 PM TracPlugins edited by trac: (diff)
6:38 PM TracWorkflow edited by trac: (diff)
6:38 PM TracLogging edited by trac: (diff)
6:38 PM TracRevisionLog edited by trac: (diff)
6:38 PM TracInterfaceCustomization edited by trac: (diff)
6:38 PM TracIni edited by trac: (diff)
6:38 PM TracFastCgi edited by trac: (diff)
6:38 PM TracSupport edited by trac: (diff)
6:38 PM TracUpgrade edited by trac: (diff)
6:38 PM TracPermissions edited by trac: (diff)
6:38 PM TracFineGrainedPermissions edited by trac: (diff)
6:38 PM TracRss edited by trac: (diff)
6:38 PM TracNavigation edited by trac: (diff)
6:38 PM TracStandalone edited by trac: (diff)
6:38 PM TracImport edited by trac: (diff)
6:38 PM TracReports edited by trac: (diff)
6:38 PM WikiHtml edited by trac: (diff)
6:38 PM TracNotification edited by trac: (diff)
6:38 PM WikiRestructuredText edited by trac: (diff)
6:38 PM WikiProcessors edited by trac: (diff)
6:38 PM TracBrowser edited by trac: (diff)
6:38 PM TracCgi edited by trac: (diff)
6:38 PM TracTickets edited by trac: (diff)
6:38 PM WikiFormatting edited by trac: (diff)
6:38 PM TracTimeline edited by trac: (diff)
6:38 PM TracRepositoryAdmin created by trac
6:38 PM TracSearch edited by trac: (diff)
6:38 PM CamelCase edited by trac: (diff)
1:41 PM Changeset [a59bc06]mei_rt2mei_rt2_fix_1 by Mei <mei@…>: 1) tweak partial proof's example output
1:08 PM DocumentationRT2 edited by Mei: (diff)
1:07 PM DocumentationRT2 edited by Mei: (diff)
11:30 AM Changeset [da73657]mei_rt2mei_rt2_fix_1 by Mei <mei@…>: 1) example for partial proof
11:25 AM Changeset [646e57e]mei_rt2mei_rt2_fix_1 by Mei <mei@…>: 1) add partial proof

Note: See TracTimeline for information about the timeline view.

Download in other formats:

RSS Feed