This project simulates the turing machine https://cromer.cl/mt
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.
 
 
 
 

65 lines
3.2 KiB

  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <project version="4">
  3. <component name="ClientPropertiesManager">
  4. <properties class="javax.swing.AbstractButton">
  5. <property name="hideActionText" class="java.lang.Boolean" />
  6. </properties>
  7. <properties class="javax.swing.JComponent">
  8. <property name="html.disable" class="java.lang.Boolean" />
  9. </properties>
  10. <properties class="javax.swing.JEditorPane">
  11. <property name="JEditorPane.w3cLengthUnits" class="java.lang.Boolean" />
  12. <property name="JEditorPane.honorDisplayProperties" class="java.lang.Boolean" />
  13. <property name="charset" class="java.lang.String" />
  14. </properties>
  15. <properties class="javax.swing.JList">
  16. <property name="List.isFileList" class="java.lang.Boolean" />
  17. </properties>
  18. <properties class="javax.swing.JPasswordField">
  19. <property name="JPasswordField.cutCopyAllowed" class="java.lang.Boolean" />
  20. </properties>
  21. <properties class="javax.swing.JSlider">
  22. <property name="Slider.paintThumbArrowShape" class="java.lang.Boolean" />
  23. <property name="JSlider.isFilled" class="java.lang.Boolean" />
  24. </properties>
  25. <properties class="javax.swing.JTable">
  26. <property name="Table.isFileList" class="java.lang.Boolean" />
  27. <property name="JTable.autoStartsEdit" class="java.lang.Boolean" />
  28. <property name="terminateEditOnFocusLost" class="java.lang.Boolean" />
  29. </properties>
  30. <properties class="javax.swing.JToolBar">
  31. <property name="JToolBar.isRollover" class="java.lang.Boolean" />
  32. </properties>
  33. <properties class="javax.swing.JTree">
  34. <property name="JTree.lineStyle" class="java.lang.String" />
  35. </properties>
  36. <properties class="javax.swing.text.JTextComponent">
  37. <property name="caretAspectRatio" class="java.lang.Double" />
  38. <property name="caretWidth" class="java.lang.Integer" />
  39. </properties>
  40. </component>
  41. <component name="JavadocGenerationManager">
  42. <option name="OUTPUT_DIRECTORY" value="$PROJECT_DIR$/doc" />
  43. <option name="OPTION_SCOPE" value="private" />
  44. <option name="OPTION_HIERARCHY" value="true" />
  45. <option name="OPTION_NAVIGATOR" value="true" />
  46. <option name="OPTION_INDEX" value="true" />
  47. <option name="OPTION_SEPARATE_INDEX" value="true" />
  48. <option name="OPTION_DOCUMENT_TAG_USE" value="true" />
  49. <option name="OPTION_DOCUMENT_TAG_AUTHOR" value="true" />
  50. <option name="OPTION_DOCUMENT_TAG_VERSION" value="true" />
  51. <option name="OPTION_DOCUMENT_TAG_DEPRECATED" value="true" />
  52. <option name="OPTION_DEPRECATED_LIST" value="true" />
  53. <option name="OTHER_OPTIONS" value="-encoding utf8 -docencoding utf8 -charset utf8" />
  54. <option name="HEAP_SIZE" />
  55. <option name="LOCALE" value="es" />
  56. <option name="OPEN_IN_BROWSER" value="false" />
  57. <option name="OPTION_INCLUDE_LIBS" value="false" />
  58. </component>
  59. <component name="ProjectKey">
  60. <option name="state" value="project://e79810c8-c5c8-43b1-b19c-90c1f4095425" />
  61. </component>
  62. <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" default="false" project-jdk-name="1.8" project-jdk-type="JavaSDK">
  63. <output url="file://$PROJECT_DIR$/out" />
  64. </component>
  65. </project>