Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
This question does not appear to be about programming within the scope defined in the help center.
Closed 9 years ago.
Improve this question
How can I use Isabelle/HOL to automatically generate LaTeX from my source theory files?
Isabelle/HOL's tutorial.pdf is very beautiful. I'm going to write a paper in LaTeX with a lot of Isabelle code in it.
You should first have a look at the existing documentation and come back with more specific questions afterwards (if there remain any; but I'm sure there will ;)).
What you want to do is called document preparation in Isabelle. The first place to look is Chapter 4 Presenting Theories of
the Isabelle System Manual. (Actually it is also a good idea to first read the previous chapter on Isabelle sessions and build management.)
For some neat notation also LaTeX Sugar for Isabelle Documents might be of interest.
Some other useful things, like generating TeX snippets from your Isabelle theories and including them in your document (which you might collaboratively work on with others that do not have Isabelle installed), can be found on the Community Wiki.
Related
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
This question does not appear to be about programming within the scope defined in the help center.
Closed last year.
Improve this question
I am getting the error shown in the attached photo, Please guide me to fix it. I am using overleaf site to write the paper.
TeX is case sensitive. Use
\textbf{...}
However to follow latex's principle to separate formatting and content, it would be better to not manually mess with the fonts like this. Instead your use-case seems to be better suited for a sectioning command like \subsection{...}, or whatever level you like.
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 4 years ago.
Improve this question
I'm becoming more insistent on documenting all of my code and demonstrating to users and other Engineers on my team where I am locating given information, or where I found a specific section of code.
What I would like to be able to accomplish is to create links to lines or files of my code (Verilog/SystemVerilog, VHDL, C/C++ and RTL sources) but really finding or coming up with a solution to doing so in any language would be beneficial to me.
This would be done via Word Documents, PDF Files, and I don't mind the setup, using LaTeX, etc., but I would like to find a way of doing so. Essentially I would like to click on a reference, where I specified either the line or the file, and the file is brought up in an editor for the reader.
All documents would be placed where all users using the file can see the necessary files and my preference is to be able to do this in Linux.
You can use doxygen to generate html documentation. I use it to generate html documentation from within the source of my VHDL.
If you wanted to reference external documents, doxygen does support external links. I've never tried doing so, but the documentation suggests they are automatically extracted.
http://www.doxygen.nl/manual/autolink.html
An example would be (taken and extended from: http://www.doxygen.nl/manual/docblocks.html
-------------------------------------------------------
--! #file
--! #brief 2:1 Mux using with-select
-------------------------------------------------------
library ieee;
use ieee.std_logic_1164.all;
--! Mux entity brief description
--! Detailed description of this mux
--! Documentation can be found at http://the_documentation.html
entity mux_using_with is
port (
...
);
end entity;
Once doxygen is run, you'll get a set of hyperlinked documentation, including automated hierarchy diagrams, with references to you're external documentation.
I find the hierarchy diagrams useful enough to not bother with any externally drawn pictures, as it seems to be a duplication of work.
EDIT:
I should add that doxygen is language independent, so can be used in all of your suggested code types. You'll have to fiddle around with the configuration file a bit though to get the output that suits you best.
Closed. This question is off-topic. It is not currently accepting answers.
Want to improve this question? Update the question so it's on-topic for Stack Overflow.
Closed 11 years ago.
Improve this question
I have been producing documents (both mathematical and non-mathematical) with Latex for about two years, and I feel rather confortable with it. Now I would like to learn Tex, but I wonder if there are any real reasons to do it rather than just for the fun of it... Is there really anyone using Tex when that person could well be using Latex?
"Learn TeX only if you would like to become a typesetter",
this is a memorable sentence our school project leader answered this question to my colleague years ago... :-)
LaTeX will do the job 99% people need. There is a perfect book about TeX - TexBook naruby, unfortunatelly in Czech only (I doubt it was translated). But just look at it just to get shocked and assure that you really don't want to learn TeX :-)
Advantage of plain tex over latex
reference: http://www.tug.org/pipermail/texhax/2009-October/013645.html
LaTeX moreover, gives very limited access to the features of the TeX
engine. This is just due to the effiency idea of LaTeX. When most urgent
things have been done and you can afford spending some time learning about
what is behind LaTeX and what TeX really offers.
This may help you in understanding difficulties with LaTeX,
why you need some extra packages for certain fine tuning, you may then mix
Plain TeX code into your LaTeX code for fine tuning, you can write your own
LaTeX packages getting more control of TeX ...
Closed. This question is off-topic. It is not currently accepting answers.
Want to improve this question? Update the question so it's on-topic for Stack Overflow.
Closed 9 years ago.
Improve this question
Unfortunately, I can't use rtf2latex2e because it says that DropUNIX "no longer supports the classic environment". I barely know what I'm doing otherwise, besides dropping my .rtf file onto the DropUNIX program.
What else can I use? I don't mind which type of file it is I'm converting to LaTeX (.doc would also be OK, as long as it keeps my formatting).
I am using Mac OS 10.5.8.
Open Office can. Download it.
See the fmtconv question on the UK TeX FAQ, or, more specifically, the page on Converters from PC Textprocessors to LaTeX - Overview, which is specifically about this question and has many many examples. This general list of word-processor filters may help too.
UnRTF claims to be able to convert RTF to LaTeX as well as other formats (e.g. HTML). It claims to support HTML best, so perhaps RTF->HTML->LaTeX (e.g. with html2latex) might work better. I haven't actually tried any of this though.
Make your rtf/doc document into docx, and convert it using docx2tex.
You need the System.IO.Packaging .NET class to get this to work, which is no problem if you are using Windows, and is in principle supported by Mono if you are not. If anyone has success doing this with Mono, I'd like to hear of your experiences: this didn't work a year or so ago, but their implementation of that class has improved since then.
I say more about the utility in an answer at tex.stackexchange. Suffice it to say that I consider this by far the cleanest, most Latex-friendly option out there.
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
Questions asking us to recommend or find a tool, library or favorite off-site resource are off-topic for Stack Overflow as they tend to attract opinionated answers and spam. Instead, describe the problem and what has been done so far to solve it.
Closed 9 years ago.
Improve this question
I've been using LaTeX for about 3-4 years now. In that time I've picked up what I've needed as I've needed it, most often by Googling. However, I'd like to learn some more advanced features of LaTeX such as editing or even creating my own class files and bibtex styles. I've worked with some fairly powerful class files before, but I have a tough time understanding the syntax as it's rather obscure.
Does anyone know of a good tutorial (or book) that I can use to learn such advanced features of LaTeX?
For the really advanced stuff, nothing can beat the dtx files describing the LaTeX classes themselves. Your TeX distribution might not have shipped them, so get them from CTAN; the dtx files are usually stripped of comments before being installed, but you can compile them with LaTeX to get the comments and code nicely typeset.
TUGboat has some advanced articles as well.
Have a look at the LaTeX Companion.
Have a look at the answers in these questions:
Best practices in LaTeX
What is the fastest way to learn LaTeX basics? (especially the second answer has some nice references)
I have been using a few books over the years,
Guide to LaTeX by Helmut Kopka and Patrick W. Daly
The LaTeX Companion (Tools and Techniques for Computer Typesetting) by Frank Mittelbach, Michel Goossens, Johannes Braams and David Carlisle
And the clssic
LaTeX: A Document Preparation System by Leslie Lamport
Also,
the soft book available at http://www.ctan.org/tex-archive/info/lshort/english/ is a moderately good one.
Moreover, as advised above, make it a practice to read the dtx files when you start using a new style file.
Some of these advanced topics are covered in the Wikibook. There is also the (Not So) Short introduction to LaTeX2e.