TheoremDocs Open Theorem
Sections

Your 10 GB drive, how to upload, find and organize files, how the Trash works, and what the assistant can do with your files.

Your drive holds your files: 10 GB, whether or not you are in a team. It is yours alone, and stays yours whatever teams you join or leave. How much is used is shown at the foot of the Drive page.

Adding files

Press New and choose Upload files or New folder, or drop files onto the page. One file can be up to 1 GB, and a name up to 255 characters. Folders can't be dropped: make the folder, then drop its files into it.

The folder chat-attachments holds the files you attach to chats. It can't be renamed, moved or deleted.

Working with files

Open a file to see it. Each file's menu has Download, Rename, Move and Move to Trash. Switch between Grid and List at the top.

Finding a file

Type in Search drive to find a file or a folder by its name. Search in the sidebar, and the assistant, also find a file by the words inside it, for these kinds:

KindWhat is read
Text, code, Markdown, CSV, JSONall of it
HTML, XML, SVGits text
PDFits text, if it has any: a scanned page has none
Word, Excel, PowerPoint (DOCX, XLSX, PPTX)the text, the sheets, the slides and notes
OpenDocument (ODT, ODS, ODP)the text and the sheets

Pictures, video, sound, and the older formats DOC, XLS, PPT and RTF are found by name only. So is any file over 100 MB.

The Trash

Move to Trash keeps a file or folder in the Trash for 30 days, where it still counts against your 10 GB. Put back returns it. After 30 days it is deleted for good. Permanently delete and Empty Trash delete sooner, and ask first.

When you delete a chat, the files its messages attached go to the Trash.

What the assistant can do

With the Drive connection on, the assistant can list, search and read your files, write text files, make folders, and rename, move, trash and put back. It asks you before it deletes anything for good or empties the Trash.

With the Sandbox connection on too, it can copy a file into its sandbox to work on it, and save what it made back to your drive, up to 100 MB a file. A file it saves goes to the top of your drive unless you name a folder, and never replaces one you have.