MRG home page
·
Research
·
Publications
·
Projects
·
Software
·
People
Login
RecentChanges
FindPage
HelpContents
Isabelle
Search:
Immutable Page
Comments
Info
Attachments
More Actions:
Raw Text
Print View
Render as Docbook
Delete Cache
------------------------
Check Spelling
Like Pages
Local Site Map
------------------------
Rename Page
Delete Page
------------------------
Subscribe User
------------------------
Remove Spam
Revert to this revision
Package Pages
Sync Pages
------------------------
Load
Save
[
Show "Revision History"
] [
Show "General Page Infos"
] [
Show "Page hits and edits"
]
Revision History
#
Date
Size
Editor
Comment
Action
8
2010-09-01 16:22:30
1796
to previous
ldixon
view
7
2010-02-18 15:50:21
1235
to previous
ldixon
view
6
2010-02-18 15:49:58
1219
to previous
ldixon
view
5
2010-02-18 15:49:34
1238
to previous
ldixon
view
4
2009-07-17 17:27:16
905
to previous
ldixon
Renamed from 'Isabelle'.
view
3
2009-07-17 17:24:59
870
to previous
ldixon
view
2
2009-07-17 17:24:45
876
to previous
ldixon
view
1
2009-07-04 12:48:06
276
ldixon
view