MANIFEST 3.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160
  1. ANNOUNCE
  2. ANNOUNCE-0.1.5
  3. ChangeLog
  4. MANIFEST.in
  5. README
  6. gsl-mode-0.1.el
  7. setup.py
  8. guppy/__init__.py
  9. guppy/doc/ProfileBrowser.html
  10. guppy/doc/__init__.py
  11. guppy/doc/docexample.html
  12. guppy/doc/docexample.py
  13. guppy/doc/gsl.html
  14. guppy/doc/gslexample.html
  15. guppy/doc/guppy.html
  16. guppy/doc/heapy_RootState.html
  17. guppy/doc/heapy_UniSet.html
  18. guppy/doc/heapy_Use.html
  19. guppy/doc/heapy_tutorial.html
  20. guppy/doc/heapyc.html
  21. guppy/doc/index.html
  22. guppy/doc/pbscreen.jpg
  23. guppy/doc/sets.html
  24. guppy/doc/test_guppy.py
  25. guppy/doc/test_heapy.py
  26. guppy/doc/test_heapyc.py
  27. guppy/etc/Cat.py
  28. guppy/etc/Code.py
  29. guppy/etc/Compat.py
  30. guppy/etc/ExecfileWithModuleInfo.py
  31. guppy/etc/FSA.py
  32. guppy/etc/Glue.py
  33. guppy/etc/Help.py
  34. guppy/etc/IterPermute.py
  35. guppy/etc/KanExtension.py
  36. guppy/etc/KnuthBendix.py
  37. guppy/etc/OutputHandling.py
  38. guppy/etc/RE.py
  39. guppy/etc/RE_Rect.py
  40. guppy/etc/Unpack.py
  41. guppy/etc/__init__.py
  42. guppy/etc/cmd.py
  43. guppy/etc/etc.py
  44. guppy/etc/textView.py
  45. guppy/etc/tkcursors.py
  46. guppy/etc/xterm.py
  47. guppy/gsl/Document.py
  48. guppy/gsl/DottedTree.py
  49. guppy/gsl/Exceptions.py
  50. guppy/gsl/FileIO.py
  51. guppy/gsl/Filer.py
  52. guppy/gsl/Gsml.py
  53. guppy/gsl/Help.py
  54. guppy/gsl/Html.py
  55. guppy/gsl/Latex.py
  56. guppy/gsl/Main.py
  57. guppy/gsl/SpecNodes.py
  58. guppy/gsl/Tester.py
  59. guppy/gsl/Text.py
  60. guppy/gsl/XHTML.py
  61. guppy/gsl/__init__.py
  62. guppy/heapy/AbstractAlgebra.py
  63. guppy/heapy/Classifiers.py
  64. guppy/heapy/Console.py
  65. guppy/heapy/Doc.py
  66. guppy/heapy/ImpSet.py
  67. guppy/heapy/Monitor.py
  68. guppy/heapy/OutputHandling.py
  69. guppy/heapy/Part.py
  70. guppy/heapy/Path.py
  71. guppy/heapy/Prof.py
  72. guppy/heapy/RM.py
  73. guppy/heapy/RefPat.py
  74. guppy/heapy/Remote.py
  75. guppy/heapy/RemoteConstants.py
  76. guppy/heapy/Spec.py
  77. guppy/heapy/Target.py
  78. guppy/heapy/UniSet.py
  79. guppy/heapy/Use.py
  80. guppy/heapy/View.py
  81. guppy/heapy/__init__.py
  82. guppy/heapy/pbhelp.py
  83. guppy/heapy/test/__init__.py
  84. guppy/heapy/test/support.py
  85. guppy/heapy/test/test_Classifiers.py
  86. guppy/heapy/test/test_ER.py
  87. guppy/heapy/test/test_OutputHandling.py
  88. guppy/heapy/test/test_Part.py
  89. guppy/heapy/test/test_Path.py
  90. guppy/heapy/test/test_RefPat.py
  91. guppy/heapy/test/test_RetaGraph.py
  92. guppy/heapy/test/test_Spec.py
  93. guppy/heapy/test/test_UniSet.py
  94. guppy/heapy/test/test_View.py
  95. guppy/heapy/test/test_all.py
  96. guppy/heapy/test/test_dependencies.py
  97. guppy/heapy/test/test_heapyc.py
  98. guppy/heapy/test/test_menuleak.py
  99. guppy/heapy/test/test_sf.py
  100. guppy/sets/__init__.py
  101. guppy/sets/test.py
  102. specs/about_Prof.gsl
  103. specs/docexample.gsl
  104. specs/gen.gsl
  105. specs/genext.gsl
  106. specs/genguppy.gsl
  107. specs/genguppydoc.py
  108. specs/gsl.gsl
  109. specs/guppy.gsl
  110. specs/heapy_ER.gsl
  111. specs/heapy_RefPat.gsl
  112. specs/heapy_RootState.gsl
  113. specs/heapy_UniSet.gsl
  114. specs/heapy_Use.gsl
  115. specs/heapy_tutorial.gsl
  116. specs/heapyc.gsl
  117. specs/heapykinds.gsl
  118. specs/help_Prof.gsl
  119. specs/index.gsl
  120. specs/kindnames.gsl
  121. specs/sets.gsl
  122. src/heapy/classifier.c
  123. src/heapy/classifier.h
  124. src/heapy/heapdef.h
  125. src/heapy/heapy.h
  126. src/heapy/heapyc.c
  127. src/heapy/horizon.c
  128. src/heapy/hpinit.h
  129. src/heapy/hv.c
  130. src/heapy/hv_cli.c
  131. src/heapy/hv_cli_and.c
  132. src/heapy/hv_cli_clodo.c
  133. src/heapy/hv_cli_dictof.c
  134. src/heapy/hv_cli_findex.c
  135. src/heapy/hv_cli_id.c
  136. src/heapy/hv_cli_idset.c
  137. src/heapy/hv_cli_indisize.c
  138. src/heapy/hv_cli_rcs.c
  139. src/heapy/hv_cli_rel.c
  140. src/heapy/hv_cli_user.c
  141. src/heapy/impsets.c
  142. src/heapy/initheapyc.c
  143. src/heapy/interpreter.c
  144. src/heapy/nodegraph.c
  145. src/heapy/nodegraph.h
  146. src/heapy/relation.h
  147. src/heapy/rootstate.c
  148. src/heapy/roundupsize.c
  149. src/heapy/stdtypes.c
  150. src/heapy/stdtypes.h
  151. src/heapy/xmemstats.c
  152. src/include/guppy.h
  153. src/sets/bitset.c
  154. src/sets/bitset.h
  155. src/sets/immnodeset.c
  156. src/sets/nodeset.c
  157. src/sets/nodeset.h
  158. src/sets/sets.c
  159. src/sets/sets.h
  160. src/sets/sets_internal.h