diff options
| author |  tabarbe <unknown> | 2010-07-30 18:28:37 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-30 18:28:37 +0000 |
| commit | 0021cbcbd7ab53b8fad71f7216981ad2b8a8b49b (patch) | |
| tree | 44c43ea68ed5ed783e6d769e023d5570aaad9522 /Util/Code Snippets | |
| parent | 8ae5fd2d34c8ab9df4b117fff434dcadb9506c86 (diff) | |
Boogie/Dafny: For those who may have not used custom code snippets before, some instructions on getting VS to track them down, along with an Excel sheet detailing the ones available.
Diffstat (limited to 'Util/Code Snippets')
| -rw-r--r-- | Util/Code Snippets/Code snippet documentation.xlsx | bin | 0 -> 14963 bytes |
| -rw-r--r-- | Util/Code Snippets/How to use in Visual Studio.docx | bin | 0 -> 14021 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/Util/Code Snippets/Code snippet documentation.xlsx b/Util/Code Snippets/Code snippet documentation.xlsx Binary files differnew file mode 100644 index 00000000..fb11d225 --- /dev/null +++ b/Util/Code Snippets/Code snippet documentation.xlsx diff --git a/Util/Code Snippets/How to use in Visual Studio.docx b/Util/Code Snippets/How to use in Visual Studio.docx Binary files differnew file mode 100644 index 00000000..6f3d5ae2 --- /dev/null +++ b/Util/Code Snippets/How to use in Visual Studio.docx |