Wed, 03 Feb 2016 14:37:35 +0000 Christian Urban updated files
Wed, 03 Feb 2016 22:17:29 +0800 zhangx Commit to revert
Wed, 03 Feb 2016 21:51:57 +0800 zhangx A fake merge. Used to revert to 98
Wed, 03 Feb 2016 21:41:42 +0800 zhangx PIPBasics.thy reorganized into sections. The structure is now stable. Next step is to put in more comments.
Wed, 03 Feb 2016 21:05:15 +0800 zhangx Reorganizing PIPBasics.thy and making small changes to Implementation.thy and Correctness.thy.
Wed, 03 Feb 2016 12:04:03 +0800 zhangx Reorganzing PIPBasics.thy intro sections.
Mon, 01 Feb 2016 20:56:39 +0800 zhangx Reorganizing PIPBasics.thy
Sun, 31 Jan 2016 18:15:13 +0800 zhangx Small improvemnts in PIPBasis.thy
Fri, 29 Jan 2016 17:08:54 +0000 Christian Urban deleted superflous files
Fri, 29 Jan 2016 17:06:02 +0000 Christian Urban merged
Thu, 28 Jan 2016 14:57:36 +0000 Christian Urban merged
Thu, 28 Jan 2016 14:26:10 +0000 Christian Urban changes to my repository
Thu, 28 Jan 2016 13:46:45 +0000 Christian Urban some small changes
Fri, 29 Jan 2016 11:01:13 +0800 zhangx The overwriten original .thy files are working now. The ones in last revision aren't.
Fri, 29 Jan 2016 10:51:52 +0800 zhangx Original files overwrite by their parallels (Correctness.thy v.s. PrioG.thy, PIPBasics.thy v.s. CpsG.thy, Implementation v.s. ExtGG.thy).
Fri, 29 Jan 2016 09:46:07 +0800 zhangx Removed *.*~, #***#, log, etc.
Thu, 28 Jan 2016 21:14:17 +0800 zhangx Retrofiting of:
Thu, 28 Jan 2016 16:36:46 +0800 zhangx Slightly modified ExtGG.thy and PrioG.thy.
Thu, 28 Jan 2016 16:33:49 +0800 zhangx Merged back ExtGG.thy and PrioG.thy.
Thu, 28 Jan 2016 15:36:48 +0800 zhangx Tracking ExtGG.thy etc., so that a update to 83 is possible.
Thu, 28 Jan 2016 07:46:05 +0800 zhangx Added PrioG.thy again
Thu, 28 Jan 2016 07:43:05 +0800 zhangx Added PrioG.thy as a parallel copy of Correctness.thy
Wed, 27 Jan 2016 23:34:23 +0800 zhangx The parallel of Implementation.thy, i.e. ExtGG.thy has been updated. And some errors in
Wed, 27 Jan 2016 13:50:02 +0000 Christian Urban merged
Wed, 27 Jan 2016 13:47:08 +0000 Christian Urban some small changes to Correctness and Paper
Wed, 27 Jan 2016 19:28:42 +0800 zhangx CpsG.thy restored. It was deleted. But now restored as a temporary holder of PIPBasics.thy.
Wed, 27 Jan 2016 19:26:56 +0800 zhangx CpsG.thy retrofiting almost completed. An important mile stone.
Sun, 17 Jan 2016 22:18:35 +0800 zhangx Still improving CpsG.thy
Sat, 16 Jan 2016 11:02:17 +0800 zhangx Merged with 77
Sat, 16 Jan 2016 10:59:03 +0800 zhangx CpsG.thy updated. It is a copy of PIPBasics.thy under drastic improvement.
Fri, 15 Jan 2016 02:05:29 +0000 Christian Urban some small changes to the paper
Thu, 14 Jan 2016 03:29:22 +0000 Christian Urban updated paper
Thu, 14 Jan 2016 00:55:54 +0800 zhangx Moment.thy further simplified.
Wed, 13 Jan 2016 23:39:59 +0800 zhangx Moment.thy further improved.
Wed, 13 Jan 2016 15:22:14 +0000 Christian Urban another simplification
Wed, 13 Jan 2016 15:16:59 +0000 Christian Urban some small change
Wed, 13 Jan 2016 14:20:58 +0000 Christian Urban further simplificaton of Moment.thy
Wed, 13 Jan 2016 13:20:45 +0000 Christian Urban simplified Moment.thy
Tue, 12 Jan 2016 08:35:36 +0800 zhangx Before retrofiting PIPBasics.thy
Sat, 09 Jan 2016 22:19:27 +0800 zhangx Correctness simplified a great deal.
Thu, 07 Jan 2016 22:10:06 +0800 zhangx Some small improvements in Correctness.thy.
Thu, 07 Jan 2016 08:33:13 +0800 zhangx Reorganization completed, added "scripts_structure.pdf" and "scirpts_structure.pptx".
Wed, 06 Jan 2016 16:34:26 +0000 Christian Urban renamed files
Wed, 06 Jan 2016 20:46:14 +0800 zhangx ExtGG.thy finished, but more comments are needed.
Tue, 22 Dec 2015 23:13:31 +0800 zhangx In the middle of retrofiting ExtGG.thy.
Fri, 18 Dec 2015 22:47:32 +0800 zhangx CpsG.thy has been cleaned up.
Fri, 18 Dec 2015 19:13:19 +0800 zhangx Main proofs in CpsG.thy completed.
Tue, 15 Dec 2015 15:10:40 +0000 Christian Urban removed some fixes about which Isabelle complains
Tue, 15 Dec 2015 21:45:46 +0800 zhangx Extended RTree.thy
Thu, 03 Dec 2015 14:34:29 +0800 xingyuan zhang Added generic theory "RTree.thy"
Thu, 03 Dec 2015 14:34:00 +0800 xingyuan zhang Before switching to generic theory of relational trees.
Fri, 30 Oct 2015 20:40:11 +0800 xingyuan zhang Comments for Set-operation finished
Sat, 17 Oct 2015 16:14:30 +0800 xingyuan zhang Merge with tip
Sat, 17 Oct 2015 16:10:33 +0800 xingyuan zhang Finished comments on PrioGDef.thy
Tue, 06 Oct 2015 14:22:34 +0100 Christian Urban test
Tue, 06 Oct 2015 14:13:52 +0100 Christian Urban another test
Tue, 06 Oct 2015 14:11:28 +0100 Christian Urban test
Tue, 06 Oct 2015 18:52:04 +0800 xingyuan zhang A little more change.
Tue, 06 Oct 2015 13:08:00 +0800 xingyuan zhang Some changes in the PrioGDef.thy.
Tue, 06 Oct 2015 11:26:18 +0800 xingyuan zhang Just a test change
(0) -100 -60 +60 +100 tip