ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-11 08:55:23 +03:00
Code Issues Projects Releases Wiki Activity
master
Idris-dev/docs/image
History
martinbaker bc92430e0d tidy up parser library documentation
2020-01-02 11:18:51 +00:00
..
attack.png add diagram for attack 2019-07-06 10:39:36 +01:00
attack.svg add diagram for attack 2019-07-06 10:39:36 +01:00
binders.png add documentation for elaboration reflection 2019-05-08 16:21:40 +01:00
binders.svg further improvements from comments 2019-05-15 17:43:26 +01:00
compareToProofAssist.png further improvements from comments 2019-05-15 17:43:26 +01:00
compareToProofAssist.svg add svg diagram 2019-05-19 17:42:46 +01:00
effects-tree.png Sphinx Based Documentation for Idris. 2015-03-17 16:19:11 +00:00
elab.png add documentation for elaboration reflection 2019-05-08 16:21:40 +01:00
elab.svg further improvements from comments 2019-05-15 17:43:26 +01:00
elabLogicEx1_1.png update hole diagrams & remove reference to logic 2019-07-01 08:05:25 +01:00
elabLogicEx1_1.svg update hole diagrams & remove reference to logic 2019-07-01 08:05:25 +01:00
elabLogicEx1_2.png update hole diagrams & remove reference to logic 2019-07-01 08:05:25 +01:00
elabLogicEx1_2.svg update hole diagrams & remove reference to logic 2019-07-01 08:05:25 +01:00
elabLogicEx1_3.png update hole diagrams & remove reference to logic 2019-07-01 08:05:25 +01:00
elabLogicEx1_3.svg update hole diagrams & remove reference to logic 2019-07-01 08:05:25 +01:00
elabLogicEx1_4.png add documentation for elaboration reflection 2019-05-08 16:21:40 +01:00
elabLogicEx1_4.svg further improvements from comments 2019-05-15 17:43:26 +01:00
elabOverview.png update elabOverview image 2019-05-16 19:09:51 +01:00
elabOverview.svg update elabOverview image 2019-05-16 19:09:51 +01:00
elabProofState.png add documentation for elaboration reflection 2019-05-08 16:21:40 +01:00
elabProofState.svg further improvements from comments 2019-05-15 17:43:26 +01:00
elabProofStateEx1_1.png update some diagrams for example 2019-05-18 16:01:50 +01:00
elabProofStateEx1_1.svg update some diagrams for example 2019-05-18 16:01:50 +01:00
elabProofStateEx1_2.png update some diagrams for example 2019-05-18 16:01:50 +01:00
elabProofStateEx1_2.svg update some diagrams for example 2019-05-18 16:01:50 +01:00
elabProofStateEx1_3.png tidy up diagrams for example 2019-05-23 11:53:47 +01:00
elabProofStateEx1_3.svg tidy up diagrams for example 2019-05-23 11:53:47 +01:00
fill.png add example and diagram for solve 2019-07-05 16:56:28 +01:00
fill.svg add example and diagram for solve 2019-07-05 16:56:28 +01:00
generateDatatype.png changes to generatingData.rst 2019-05-21 17:05:06 +01:00
generateDatatype.svg changes to generatingData.rst 2019-05-21 17:05:06 +01:00
generateFunction2.png add diagram to illustrate Raw structure used for function definition 2019-05-22 17:00:47 +01:00
generateFunction2.svg add diagram to illustrate Raw structure used for function definition 2019-05-22 17:00:47 +01:00
generateFunction.png changes to generatingData.rst 2019-05-21 17:36:58 +01:00
generateFunction.svg changes to generatingData.rst 2019-05-21 17:36:58 +01:00
idrisTopLevel.png further improvements from comments 2019-05-15 17:43:26 +01:00
idrisTopLevel.svg further improvements from comments 2019-05-15 17:43:26 +01:00
login.png Rename Context->Resources in ST 2017-03-24 18:54:50 +00:00
netstate.png Add network example to ST tutorial 2017-03-24 18:54:50 +00:00
parserModules.png tidy up parser library documentation 2020-01-02 11:18:51 +00:00
parserModules.svg tidy up parser library documentation 2020-01-02 11:18:51 +00:00
parserTopLevel.png add parser library documentation 2019-12-28 18:28:36 +00:00
parserTopLevel.svg add parser library documentation 2019-12-28 18:28:36 +00:00
plusReducesProof.png rewrite documentation for interactive theorem proving 2019-04-16 18:31:52 +01:00
plusReducesProof.svg rewrite documentation for interactive theorem proving 2019-04-16 18:31:52 +01:00
README.md fix typo 2019-05-15 18:19:49 +01:00
recogniser.png improve lexer description 2019-12-29 10:26:33 +00:00
recogniser.svg improve lexer description 2019-12-29 10:26:33 +00:00
solve.png add example and diagram for solve 2019-07-05 16:56:28 +01:00
solve.svg add example and diagram for solve 2019-07-05 16:56:28 +01:00
tokenise.png add parser library documentation 2019-12-28 18:28:36 +00:00
tokenise.svg add parser library documentation 2019-12-28 18:28:36 +00:00
tree.png corrections to identity example 2019-07-03 16:42:35 +01:00
tree.svg corrections to identity example 2019-07-03 16:42:35 +01:00

README.md

Many of the images in this directory have two files with the same name but a different extension:

  • The SVG file, being vector graphics, is best for drawing and modifying.
  • The PNG file, being raster graphics, gives more consistent rendering.

The image has therefore been generated as an SVG file and then exported to the PNG file.

So, if you need to modify an image, I suggest the following sequence:

  • Edit the SVG file using a suitable editor (I use Inkscape).
  • Export the changes to the PNG file, overwriting the old version.
  • upload both files.

Note, when exporting in Inkscape:

  • Select everything first, this stops an enormous boundary being exported.
  • After selecting the file to export to and clicking OK, don't forget to click on export button as well.