summaryrefslogtreecommitdiffstats
path: root/doc/user
Commit message (Expand)AuthorAgeFilesLines
* fix copyright and other dates in users guide4.9.0William Deegan2025-03-021-2/+2
* Fix a review comments on special methods [skip appveyor]Mats Wichmann2024-12-222-5/+11
* Update docs on special method evaluationMats Wichmann2024-12-163-33/+47
* Merge pull request #4634 from dustdfg/patch-1William Deegan2024-11-161-0/+5
|\
| * Docs: Add metnion of `no_progress` option when user passes -QYevhen Babiichuk (DustDFG)2024-11-121-0/+5
* | [ci skip] minor editsWilliam Deegan2024-11-161-1/+1
* | [ci skip] minor editsWilliam Deegan2024-11-161-4/+4
* | [ci skip] multi-user should be multiuserWilliam Deegan2024-11-161-1/+1
* | *.xml: Add miscellaneous language improvementsAlex Thiessen2024-11-156-6/+6
* | *.xml: Don't abbreviate `directory` in normal textAlex Thiessen2024-11-153-7/+7
* | *.xml: Capitalize proper nounsAlex Thiessen2024-11-151-2/+2
* | *.xml: Hyphenate `out of date`Alex Thiessen2024-11-153-3/+3
* | *.xml: Fix hyphensAlex Thiessen2024-11-157-15/+15
* | *.xml: Use en_USAlex Thiessen2024-11-152-2/+2
* | *.xml: Add missing commasAlex Thiessen2024-11-159-12/+12
* | *.xml: Fix obvious typos etc.Alex Thiessen2024-11-1520-33/+33
|/
* [ci skip] fix typosWilliam Deegan2024-10-271-2/+2
* Fix two typos for PR 4622 [skip appveyor]Mats Wichmann2024-10-271-2/+2
* Improve Repository docs [skip appveyor]Mats Wichmann2024-10-241-32/+81
* fix typoWilliam Deegan2024-09-221-1/+1
* Tweak User Guide environment descriptionsMats Wichmann2024-09-214-136/+175
* put master branch back in develop modeWilliam Deegan2024-09-041-1/+1
* Return master to development mode post releaseWilliam Deegan2024-07-081-1/+1
* Standardize license header on in-use doc files [skip appveyor]Mats Wichmann2024-06-2548-1/+144
* AddOption now recognizes "settable" optionMats Wichmann2024-06-171-10/+10
* Merge pull request #4514 from Repiteo/GetSConsVersionWilliam Deegan2024-05-041-0/+26
|\
| * Minor editsWilliam Deegan2024-05-041-3/+2
| * Implement `GetSConsVersion` static methodThaddeus Crews2024-04-151-0/+27
* | Reword one title, and fix id'sWilliam Deegan2024-05-041-3/+3
* | More spelling/typo fixesWilliam Deegan2024-05-041-14/+14
* | Variables docs: fix some review commentsMats Wichmann2024-04-251-19/+12
* | Update docs for VariablesMats Wichmann2024-04-182-123/+192
|/
* Extend pdf-skipping to man and user builds.Mats Wichmann2024-04-021-4/+10
* Put master back in post release/develop modeWilliam Deegan2024-03-181-2/+2
* Minor manpage updates. [skip appveyor]Mats Wichmann2024-03-011-7/+7
* Update MSVC_VERSION usage and table [skip appveyor]Mats Wichmann2024-02-174-7/+7
* Undo unintended change in Scanners chapter [skip appveyor]Mats Wichmann2024-02-021-1/+1
* Fix scanner examples in User Guide [skip appveyor]Mats Wichmann2024-02-011-61/+160
* DOC: Fixing typo where word "too" should read "tool" in preface.xmlPrabhu S. Khalsa2024-01-081-1/+1
* Housekeeping: normalize license info in User GuideMats Wichmann2023-12-1455-1235/+383
* post release updatesWilliam Deegan2023-11-201-1/+1
* Niggly User Guide Chap 2/3 updates [skip appveyor]Mats Wichmann2023-09-172-211/+205
* fix doc simple.xml parse errorLiuYinCarl2023-09-151-1/+1
* simple add header fileLiuYinCarl2023-09-141-0/+2
* Update build-install.xmlKenshin2023-09-141-1/+1
* Further tweak user guide Help description [skip appveyor]Mats Wichmann2023-08-011-7/+9
* Add ability to save "local" help onlyMats Wichmann2023-08-011-33/+23
* Typo in doc/user/caching.xml [skip appveyor]Mats Wichmann2023-07-211-1/+1
* Tweak CacheDir docs [skip appveyor]Mats Wichmann2023-07-201-41/+23
* Merge pull request #4299 from mwichmann/doc/uguide-pseudoWilliam Deegan2023-05-183-78/+71
|\