The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
22 views

Configuring Proof general for Coq in emacs

I installed Coq in my system from the default installer. Then I added proof general to my existing emacs. But the problem is when I try to run a command in emacs I find the following from emacs, ...
1
vote
2answers
60 views

Evidence of website content

I would like to save the current state of a publicly available website as (non legal) evidence in a fairly authentic way. Is there a website/application for this? Like they store the MD5 hash of the ...
1
vote
0answers
426 views

How to change the default language for all slides in a PowerPoint presentation?

I tried the trick explained in a related discussion, but could not change the proofing language for all texts in all slides of a PowerPoint 2007 presentation. Could this be a feature of PowerPoint ...
3
votes
1answer
67 views

Does Adobe PDF mean that a designer can use a non-postscript printer to proof for fonts etc?

I've had to buy a new printer to replace my wonderful postscript HPLaserjet 4M, because my new mac won't talk to it. I've just realised that the new printer I've ordered is not postscript. (It's a OKI ...
0
votes
1answer
368 views

Word 2010 proofing tools are automatically changing misspelled words

Word 2010 proofing tools are changing misspelled words how they want. For example I wanted to write the word Like, but I typed Leke and Word 2010 changed this to Lake without any warning. Is there ...
2
votes
1answer
1k views

Microsoft Office 2010 Proofing Tools Kit

I have installed the Office 2010 available on MSDN, but there is no proofing tools kit available there yet. Still I see various sources where I can download this kit when I search for it on Google. ...
3
votes
1answer
2k views

Can I use the Office 2007 Proofing Tools with Office 2010 RTM?

I have just downloaded and installed Office 2010 RTM. Overall, it is very nice, but I miss having proofing tools available for my native language, Danish. I have installed the 2007 Proofing Tools, but ...
5
votes
5answers
1k views

Proof-reading LaTex

I'll have to write some papers for the university written in German, in which my grammar and spelling is somewhat terrible. Now, my girlfriend is very good at that. How can she proofread and modify my ...