Page Menu
Home
c4science
Search
Configure Global Search
Log In
Files
F56605760
build-advanced.sh
No One
Temporary
Actions
Download File
Edit File
Delete File
View Transforms
Subscribe
Mute Notifications
Award Token
Subscribers
None
File Metadata
Details
File Info
Storage
Attached
Created
Fri, Mar 29, 10:40
Size
105 B
Mime Type
text/x-shellscript
Expires
Sun, Mar 31, 11:40 (2 d)
Engine
blob
Format
Raw Data
Handle
16740367
Attached To
R9452 coq-project
build-advanced.sh
View Options
#!/usr/bin/env bash
pandoc advanced.md -o advanced.ipynb
pandoc advanced_full.md -o advanced_full.ipynb
Event Timeline
Log In to Comment