diff options
Diffstat (limited to 'doc/cryptol.txt')
| -rw-r--r-- | doc/cryptol.txt | 108 |
1 files changed, 0 insertions, 108 deletions
diff --git a/doc/cryptol.txt b/doc/cryptol.txt deleted file mode 100644 index 0d90528c..00000000 --- a/doc/cryptol.txt +++ /dev/null @@ -1,108 +0,0 @@ -if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'cryptol') == -1 - -*cryptol.txt* functionality for the Cryptol programming language - -Copyright © 2013 Edward O'Callaghan. All Rights Reserved. - - .oooooo. . oooo - d8P' `Y8b .o8 `888 -888 oooo d8b oooo ooo oo.ooooo. .o888oo .ooooo. 888 -888 `888""8P `88. .8' 888' `88b 888 d88' `88b 888 -888 888 `88..8' 888 888 888 888 888 888 -`88b ooo 888 `888' 888 888 888 . 888 888 888 - `Y8bood8P' d888b .8' 888bod8P' "888" `Y8bod8P' o888o - .o..P' 888 - `Y8P' o888o - - Functionality for the Cryptol programming language. - Includes syntax highlighting, code folding, and more! - -============================================================================== -CONTENTS *CryptolContents* - - 1. Usage ................ |CryptolUsage| - 2. Mappings ............. |CryptolMappings| - 3. License .............. |CryptolLicense| - 4. Bugs ................. |CryptolBugs| - 5. Contributing ......... |CryptolContributing| - 6. Changelog ............ |CryptolChangelog| - 7. Credits .............. |CryptolCredits| - -============================================================================== -Section 1: Usage *CryptolUsage* - -This plugin will automatically provide syntax highlighting for Cryptol files -(files ending in .cry). - -Cryptol is a purely functional domain specific language, developed over the -past decade by Galois for the NSA, for the design, implementation and -verification of cryptographic algorithms. - -============================================================================== -Section 2: Mappings *CryptolMappings* - -Code folding is done in the typical way, for example: - * za - When on a closed fold - open it. - * zM - Close all foldings to level 0. - * zR - Reduce folding - -For more information see, for example, :help za - -============================================================================== -Section 3: License *CryptolLicense* - -Copyright © 2013 Edward O'Callaghan. All Rights Reserved. - -HOWEVER: -Be it known, The syntax file was written by -Copyright © 2005 Fergus Henderson. All Rights Reserved. - - -Permission is hereby granted, free of charge, to any person obtaining a copy -of this software and associated documentation files (the "Software"), to deal -in the Software without restriction, including without limitation the rights -to use, copy, modify, merge, publish, distribute, sublicense, and/or sell -copies of the Software, and to permit persons to whom the Software is -furnished to do so, subject to the following conditions: - -The above copyright notice and this permission notice shall be included in -all copies or substantial portions of the Software. - -THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR -IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, -FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE -AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER -LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, -OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN -THE SOFTWARE. - -============================================================================== -Section 4: Bugs *CryptolBugs* - - * https://github.com/victoredwardocallaghan/cryptol.vim/issues - -============================================================================== -Section 5: TODOs *CryptolTODOs - - * Add compiler support - - . - -============================================================================== -Section 6: Contributing *CryptolContributing* - - * Edward O'Callaghan - -============================================================================== -Section 7: Changelog *CryptolChangelog* - - * Initial 25 Apr 2013. - -============================================================================== -Section 8: Credits *CryptolCredits* - - * Edward O'Callaghan - * Fergus Henderson - wrote the orginal syntax file. - -vim:ts=4:ft=help:tw=78:et - -endif |