A Collection of Isabelle Programming Hacks
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 

12 lines
242 B

  1. {"menu": {
  2. "id": "file",
  3. "value": "File",
  4. "popup": {
  5. "menuitem": [
  6. {"value": "New", "onclick": "CreateNewDoc()"},
  7. {"value": "Open", "onclick": "OpenDoc()"},
  8. {"value": "Close", "onclick": "CloseDoc()"}
  9. ]
  10. }
  11. }}