Contents of currydoc-5.0.0

README.md
package.json
docs/
- README.txt
- main.tex
- manual.tex
examples/
- Example.curry
- Example2.curry
- Guide.curry
- NoExportListExample.curry
- OldStyle.curry
include/
- currydoc.css
- currydoc.tex
- bt3/
  - favicon.ico
  - css/
    
    bootstrap.min.css
    
    currydoc.css
  - fonts/
    
    glyphicons-halflings-regular.eot
    
    glyphicons-halflings-regular.svg
    
    glyphicons-halflings-regular.ttf
    
    glyphicons-halflings-regular.woff
    
    glyphicons-halflings-regular.woff2
  - js/
    
    bootstrap.min.js
    
    jquery.min.js
- bt4/
  - css/
    
    bootstrap.min.css
    
    currydoc.css
  - img/
    
    arrow-right-circle-fill.svg
    
    favicon.ico
    
    forward-fill.svg
    
    info-circle-fill.svg
    
    share-fill.svg
  - js/
    
    bootstrap.bundle.min.js
    
    jquery-3.4.1.slim.min.js
    
    scroll.js
    
    theme.js
src/
- CurryDoc/
  - Config.curry
  - Files.curry
  - Generators.curry
  - Info.curry
  - Main.curry
  - Options.curry
  - Data/
    
    AnaInfo.curry
    
    CurryDoc.curry
  - Generators/
    
    CDoc.curry
    
    Html.curry
    
    JSON.curry
    
    TeX.curry
  - Info/
    
    AbstractCurry.curry
    
    Analysis.curry
    
    Comments.curry
    
    Export.curry
    
    Goodies.curry
    
    Header.curry